Operational semantics of Framed Tempura

DOI10.1016/j.jlap.2008.08.001zbMath1170.68006OpenAlexW2036750908MaRDI QIDQ2378283

Zhenhua Duan, Xiao-Xiao Yang

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

zbMATH Keywords

consistencyoperational semanticstemporal logic programmingnonmonotonicityminimal model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

A temporal programming model with atomic blocks based on projection temporal logic ⋮ A cylinder computation model for many-core parallel computing ⋮ A complete proof system for propositional projection temporal logic ⋮ Linear time-dependent constraints programming with MSVL ⋮ Model checking Petri nets with MSVL ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Translating Xd-C programs to MSVL programs ⋮ A structural transformation from p-\(\pi\) to MSVL

Uses Software

• CACTUS
• METATEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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