Operational semantics of Framed Tempura
From MaRDI portal
Publication:2378283
DOI10.1016/j.jlap.2008.08.001zbMath1170.68006MaRDI QIDQ2378283
Publication date: 7 January 2009
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.08.001
Related Items
A cylinder computation model for many-core parallel computing, A complete proof system for propositional projection temporal logic, A temporal programming model with atomic blocks based on projection temporal logic, Linear time-dependent constraints programming with MSVL, Model checking Petri nets with MSVL, Translating Xd-C programs to MSVL programs, A structural transformation from p-\(\pi\) to MSVL, Axiomatic semantics of projection temporal logic programs
Uses Software
Cites Work
- Temporal logic programming
- Temporal semantics for concurrent METATEM
- Negation in rule-based database languages: A survey
- A practical theory of programming
- Using branching time temporal logic to synthesize synchronization skeletons
- Programming in metric temporal logic
- A calculus of communicating systems
- MetateM: An introduction
- Framed temporal logic programming
- A decision procedure for propositional projection temporal logic with infinite models
- A lattice-theoretical fixpoint theorem and its applications
- Guarded commands, nondeterminacy and formal derivation of programs
- Communicating sequential processes
- Branching-time logic programming: the language Cactus and its applications
- Operational Semantics of Framed Temporal Logic Programs
- Logic Programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item