Executing specifications of distributed computations with Chronolog(MC)

Authors:
Chuchang Liu;Mehmet A. Orgun
Affiliations:
Department of Computing, Macquarie University, NSW 2109, Australia;Department of Computing, Macquarie University, NSW 2109, Australia
Venue:
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Year:
1996

Foundations of logic programming

Foundations of logic programming
Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Executing temporal logic programs

Executing temporal logic programs
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Three recent approaches to temporal reasoning

Temporal logics and their applications
Temporal logic programming

Journal of Symbolic Computation
Dealing with granularity of time in temporal databases

CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
SimTL: a simulation language based on temporal logic

Transactions of the Society for Computer Simulation International
Communicating sequential processes

Communications of the ACM
An Overview of Temporal and Modal Logic Programming

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Temporal Logic & Historical Databases

VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Verification of Concurrent Programs: Temporal Proof Principles

Logic of Programs, Workshop

Analysis of authentication protocols in agent-based systems using labeled tableaux

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
The definition of a temporal clock operator

ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming

Hi-index	0.01