A process algebra with distributed priorities

This publication has 10 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• A process algebra with distributed priorities
  Published by Springer Nature ,1996
• CCS with Priority Choice
  Information and Computation, 1995
• Priority and abstraction in process algebra
  Published by Springer Nature ,1994
• Observing localities
  Theoretical Computer Science, 1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Petri net semantics of priority systems
  Theoretical Computer Science, 1992
• Priorities in process algebras
  Information and Computation, 1990
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
  Fundamenta Informaticae, 1986