Concurrent MetateM — A language for modelling reactive systems

This publication has 8 references indexed in Scilit:

• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• The Process Group Approach to Reliable Distributed Computing
  Published by Defense Technical Information Center (DTIC) ,1991
• Paradigms for process interaction in distributed programs
  ACM Computing Surveys, 1991
• Temporal logic programming
  Journal of Symbolic Computation, 1989
• Actors
  Published by MIT Press ,1986
• Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
  Lecture Notes in Computer Science, 1986
• Optimistic recovery in distributed systems
  ACM Transactions on Computer Systems, 1985
• Broadcasting Sequential Processes (BSP)
  IEEE Transactions on Software Engineering, 1984