Basic observables for processes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 176736 (Why is no real title available?)
- scientific article; zbMATH DE number 3995043 (Why is no real title available?)
- scientific article; zbMATH DE number 4119607 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of mobile agents
- An efficiency preorder for processes
- Barbed bisimulation
- CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
- Distributed bisimulations
- Divergence and fair testing
- Extensional equivalences for transition systems
- Failures semantics and deadlocking of modular Petri nets
- Nets, Terms and Formulas
- Observing localities
- Specification-oriented semantics for communicating processes
- Testing equivalences for processes
- Trace, failure and testing equivalences for communicating processes
Cited in
(11)- Divergence in testing and readiness semantics
- Trace- and failure-based semantics for responsiveness
- Bisimulation and coinduction enhancements: a historical perspective
- Basic observables for processes
- A calculus for collective-adaptive systems and its behavioural theory
- Deciding framed bisimilarity
- Branching vs. Linear Time: Semantical Perspective
- Basic observables for a calculus for global computing
- Separation of synchronous and asynchronous communication via testing
- Fair testing
- Theory of interaction
This page was built for publication: Basic observables for processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286368)