A process algebra with distributed priorities
From MaRDI portal
Publication:1276244
DOI10.1016/S0304-3975(97)00221-1zbMath0915.68060OpenAlexW1525103753MaRDI QIDQ1276244
Publication date: 20 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00221-1
Related Items (5)
Priority and abstraction in process algebra ⋮ Unnamed Item ⋮ Compositional Abstraction in Real-Time Model Checking ⋮ A process algebra with distributed priorities ⋮ An algebraic framework for urgency
Cites Work
- Modular construction and partial order semantics of Petri nets
- Location equivalence in a parametric setting
- Observing localities
- Mathematical foundations of computer science 1984. Proceedings, 11th Symposium, Praha, Czechoslovakia, September 3-7, 1984
- Priorities in process algebras
- A partial ordering semantics for CCS
- CCS expressions, finite state processes, and three problems of equivalence
- Petri nets, event structures and domains. I
- Petri net semantics of priority systems
- A calculus of mobile processes. II
- A process algebra with distributed priorities
- A resource-based prioritized bisimulation for real-time systems
- CCS with priority choice
- Priority as extremal probability
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- Semantics of inhibitor nets
- Foundations of software technology and theoretical computer science. 12th conference, New Delhi, India, December 18--20, 1992. Proceedings
- Three Partition Refinement Algorithms
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
- Applications of Process Algebra
- Causality for mobile processes
- A calculus of mobile agents
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A process algebra with distributed priorities