An Algebraic Framework for Urgency

This publication has 10 references indexed in Scilit:

• A process algebra with distributed priorities
  Theoretical Computer Science, 1998
• A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems
  Real-Time Systems, 1998
• A process algebra of communicating shared resources with dense time and priorities
  Theoretical Computer Science, 1997
• Modeling logical and temporal synchronization in hypermedia systems
  IEEE Journal on Selected Areas in Communications, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Toward a formal specification of multimedia synchronization scenarios
  Annals of Telecommunications, 1994
• Priorities in process algebras
  Information and Computation, 1990
• Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
  Fundamenta Informaticae, 1986
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983