A process algebra with distributed priorities
From MaRDI portal
Recommendations
- A process algebra with distributed priorities
- Priorities in process algebras
- Priority and abstraction in process algebra
- Priority in process algebra.
- A process algebra of communicating shared resources with dense time and priorities
- Process Algebra for Parallel and Distributed Processing
- Process algebras for Petri nets. The alphabetization of distributed systems
- Expressing priorities and external probabilities in process algebra via mixed open/closed systems
- Process Algebra: An Algebraic Theory of Concurrency
Cites work
- A calculus of mobile agents
- A calculus of mobile processes. II
- A partial ordering semantics for CCS
- A process algebra with distributed priorities
- A resource-based prioritized bisimulation for real-time systems
- Applications of Process Algebra
- Causality for mobile processes
- CCS expressions, finite state processes, and three problems of equivalence
- CCS with priority choice
- Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
- Foundations of software technology and theoretical computer science. 12th conference, New Delhi, India, December 18--20, 1992. Proceedings
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4074504 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 2077123 (Why is no real title available?)
- scientific article; zbMATH DE number 4001464 (Why is no real title available?)
- scientific article; zbMATH DE number 794263 (Why is no real title available?)
- scientific article; zbMATH DE number 915855 (Why is no real title available?)
- Location equivalence in a parametric setting
- Mathematical foundations of computer science 1984. Proceedings, 11th Symposium, Praha, Czechoslovakia, September 3-7, 1984
- Modular construction and partial order semantics of Petri nets
- Observing localities
- Petri net semantics of priority systems
- Petri nets, event structures and domains. I
- Priorities in process algebras
- Priority as extremal probability
- Semantics of inhibitor nets
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
- Three Partition Refinement Algorithms
Cited in
(13)- Distributed event algebras
- A process algebra with distributed priorities
- An algebraic framework for urgency
- Priority and abstraction in process algebra
- Priority in process algebra.
- Compositional Abstraction in Real-Time Model Checking
- Process Algebra for Parallel and Distributed Processing
- An expressiveness study of priority in process calculi
- scientific article; zbMATH DE number 915855 (Why is no real title available?)
- A process algebra for predictible control systems
- Axiomatizing maximal progress and discrete time
- A process algebra with distributed priorities
- Preferential choice and coordination conditions
This page was built for publication: A process algebra with distributed priorities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1276244)
