scientific article; zbMATH DE number 3986626
From MaRDI portal
Publication:3750113
Recommendations
Cited in
(25)- Nonexpressibility of fairness and signaling
- Process calculus based upon evaluation to committed form
- Making the unobservable, unobservable
- A state-based approach to communicating processes
- Bisimulations and abstraction homomorphisms
- Combining data type and recursive process specifications using projection algebras
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- On the concurrent computational content of intermediate logics
- scientific article; zbMATH DE number 3995044 (Why is no real title available?)
- scientific article; zbMATH DE number 176155 (Why is no real title available?)
- Algebraic specification of concurrent systems
- Causal Unfoldings
- Concurrent transition systems
- A logic for the specification and proof of regular controllable processes of CCS
- A note on the characterization of weak bisimulation congruence in CCS
- Concurrency and atomicity
- A complete axiomatisation for observational congruence of finite-state behaviours
- Fairness and regularity for SCCS processes
- A calculus of countable broadcasting systems
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Deadlock and fairness in morphisms of transition systems
- Towards a foundation for semantics in complete metric spaces
- Parametric channels via label expressions in CCS
- A domain equation for bisimulation
- scientific article; zbMATH DE number 1638667 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750113)
