PAMR: A Process Algebra for the Management of Resources in Concurrent Systems

This publication has 7 references indexed in Scilit:

• A graphical composition theorem for networks of LOTOS processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The theory of interactive generalized semi-Markov processes
  Theoretical Computer Science, 2002
• A Graphical Parallel Composition Operator for Process Algebras
  Published by Springer Nature ,1999
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
  Theoretical Computer Science, 1998
• A process algebra of communicating shared resources with dense time and priorities
  Theoretical Computer Science, 1997
• A brief history of Timed CSP
  Theoretical Computer Science, 1995
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987