Framed temporal logic programming

DOI10.1016/J.SCICO.2007.09.001zbMath1131.68036OpenAlexW2093832730MaRDI QIDQ2469157

Xiao-Xiao Yang, Maciej Koutny, Zhenhua Duan

Publication date: 4 February 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.09.001

zbMATH Keywords

communicationmonotonicitysynchronizationsemanticstemporal logic programmingframingminimal model

Mathematics Subject Classification ID

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

Related Items (22)

Operational semantics of Framed Tempura ⋮ A mechanism of function calls in MSVL ⋮ An application of temporal projection to interleaving concurrency ⋮ A cylinder computation model for many-core parallel computing ⋮ A complete proof system for propositional projection temporal logic ⋮ Using Unified Model Checking to Verify Heaps ⋮ Verifying a scheduling protocol of safety-critical systems ⋮ Efficient decision procedure for propositional projection temporal logic ⋮ A sound and complete proof system for a unified temporal logic ⋮ Expressiveness of propositional projection temporal logic with star ⋮ Verify heaps via unified model checking ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Compositional reasoning using intervals and time reversal ⋮ Linear time-dependent constraints programming with MSVL ⋮ Unconditional secure communication: a Russian cards protocol ⋮ Axiomatic semantics of projection temporal logic programs ⋮ Complexity of propositional projection temporal logic with star ⋮ Translating Xd-C programs to MSVL programs ⋮ A formal proof of the deadline driven scheduler in PPTL axiomatic system ⋮ Extending MSVL with Semaphore ⋮ Index set expressions can represent temporal logic formulas ⋮ A structural transformation from p-\(\pi\) to MSVL

This page was built for publication: Framed temporal logic programming