Communicating sequential processes
Communicating sequential processes
Executing temporal logic programs
Executing temporal logic programs
Temporal logic of programs
A practical theory of programming
Science of Computer Programming
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
Negation in rule-based database languages: a survey
Selected papers of the workshop on Deductive database theory
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Communication and Concurrency
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog
Proceedings of the Third International Conference on Logic Programming
Projection in Temporal Logic Programming
LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
Towards a Semantics for Concurrent METATEM
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Some Very Compositional Temporal Properties
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
A framed temporal logic programming language
Journal of Computer Science and Technology
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A Unified Model Checking Approach with Projection Temporal Logic
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Complexity of propositional projection temporal logic with star†
Mathematical Structures in Computer Science
Generalized Russian Cards Problem
COCOA '09 Proceedings of the 3rd International Conference on Combinatorial Optimization and Applications
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
Expressiveness of propositional projection temporal logic with star
Theoretical Computer Science
Compositional verification with stutter-invariant propositional projection temporal logic
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Asynchronous communication in MSVL
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Time constraints with temporal logic programming
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
The Journal of Supercomputing
A cylinder computation model for many-core parallel computing
Theoretical Computer Science
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
| Hi-index | 0.00 |
A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models-used to define the semantics of non-framed programs-are no longer appropriate. To deal with this, a minimal model theory is developed, using which the temporal semantics of framed programs is captured. The existence of a minimal model for a given framed program is demonstrated. A synchronous communication mechanism for concurrent programs is provided by means of the framing technique and minimal model semantics.