A Process Calculus with Incomparable Priorities

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 43-64
https://doi.org/10.1007/978-1-4471-3217-2_4

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A synchronous calculus of relative frequency
Published by Springer Nature ,2005
CCSR: A calculus for communicating shared resources
Published by Springer Nature ,2005
Priority as extremal probability
Published by Springer Nature ,2005
Observing localities
Lecture Notes in Computer Science, 1991
Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
Fundamenta Informaticae, 1986
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980