A temporal programming model with atomic blocks based on projection temporal logic

DOI10.1007/s11704-014-3342-0zbMath1403.68042OpenAlexW1968197232MaRDI QIDQ1633057

Ming Fu, Yu Zhang, Xinyu Feng, Xiao-Xiao Yang

Publication date: 19 December 2018

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

Full work available at URL: https://doi.org/10.1007/s11704-014-3342-0

zbMATH Keywords

verificationsemanticstemporal logic programmingframingatomic blocks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CACTUS

Cites Work

• Unnamed Item
• A cylinder computation model for many-core parallel computing
• A complete proof system for propositional projection temporal logic
• Temporal logic programming
• Negation in rule-based database languages: A survey
• The semantics of the combination of atomized statements and parallel choice
• Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors
• A formal model of atomicity in asynchronous systems
• Operational semantics of Framed Tempura
• A decision procedure for propositional projection temporal logic with infinite models
• A Marriage of Rely/Guarantee and Separation Logic
• Complexity of propositional projection temporal logic with star
• Branching-time logic programming: the language Cactus and its applications
• Logic Programming