# Syntax and defining equations for an interrupt mechanism in process algebra

@inproceedings{Baeten1985SyntaxAD, title={Syntax and defining equations for an interrupt mechanism in process algebra}, author={Jcm Jos Baeten and Jan A. Bergstra and Jan Willem Klop}, year={1985} }

A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whereby some actions have priority over others in a non-deterministic choice (or sum). This mechanism can be used to model the working of interrupts in a distributed system. This is illustrated in an extensive example

#### Topics from this paper

#### 196 Citations

Specification of systems with interrupts

- Computer Science
- J. Syst. Softw.
- 1993

An extension that supports interrupts to an existing semantic framework is described and the applicability of the extension for describing and implementing systems is illustrated. Expand

The Semantics of Priority and Fairness in occam

- Computer Science
- Mathematical Foundations of Programming Semantics
- 1989

An operational semantics for priority and fairness in occam is presented, based on the state transitions made by a transputer in the execution of an occam program. Expand

A Process Algebra with Distributed Priorities

- Mathematics, Computer Science
- Theor. Comput. Sci.
- 1998

A process algebra for distributed systems in which some actions may take precedence over others, which captures a notion of localized preemption and develops a behavioral congruence and axiomatize it for finite processes. Expand

A process creation mechanism in process algebra

- Mathematics, Computer Science
- 1985

An encapsulation operator Eφ is introduced that provides process algebra with a process creation mechanism that does not extend the defining power of the system 'ACP' with guarded recursion. Expand

A Process Calculus with Incomparable Priorities

- Mathematics, Computer Science
- NAPAW
- 1992

An asynchronous process calculus in which priorities are as sociated to transitions is defined, and a prioritized bisimulation equivalence is defined and its relation to "the natural" congruence relation is discussed. Expand

Priorities in process algebras

- Computer Science
- [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science
- 1988

An operational semantics for an algebraic theory of concurrency that incorporates a notion of priority into the definition of the execution of actions and a complete axiomization is given for finite terms. Expand

Mode transfer in process algebra

- Mathematics
- 2000

This paper provides a systematic and full treatment of mode transfer operators in process algebra, including complete axiomatizations, operational rules, analysis of expressive power and extensions… Expand

Priorities for Modeling and Verifying Distributed Systems

- Computer Science
- TACAS
- 1996

This paper has implemented a CCS-based process algebra with priorities as a new front-end for the NCSU Concurrency Workbench, and uses model checking for verifying properties of the signaling system. Expand

A Calculus Based on Absence of Actions

- Mathematics
- 1995

In this article we present a process algebra where the behaviour can be speci ed when certain actions cannot be exhibited. This is useful in specifying time outs, interrupts etc. We present a few… Expand

A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 1998

We give an overview of EMPA, a process algebra for modeling and analyzing concurrent systems where nondeterminism, priorities, probabilities and time are present, aiming at a reasonable trade off… Expand