Communicating sequential processes
Communicating sequential processes
Executing temporal logic programs
Executing temporal logic programs
Temporal logic of programs
Communication and concurrency
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Principles of Concurrent Programming
Principles of Concurrent Programming
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
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
Framed temporal logic programming
Science of Computer Programming
Operational Semantics of Framed Temporal Logic Programs
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
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
Decidability of propositional projection temporal logic with infinite models
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in 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
Asynchronous communication in MSVL
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Semantics of framed temporal logic programs
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A concurrent temporal programming model with atomic blocks
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: 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
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Hi-index | 0.00 |
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is also presented, using which a synchronization operator, await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.