Towards a semantics for concurrent MetateM

This publication has 15 references indexed in Scilit:

• A survey of concurrent MetateM — The language and its applications
  Published by Springer Nature ,2005
• 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 and Modal Logic
  Published by Elsevier ,1990
• MetateM: A framework for programming in temporal logic
  Published by Springer Nature ,1990
• Programming languages for distributed computing systems
  ACM Computing Surveys, 1989
• Reliable communication in the presence of failures
  ACM Transactions on Computer Systems, 1987
• A really abstract concurrent model and its temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Actors
  Published by MIT Press ,1986