scientific article; zbMATH DE number 4011914
From MaRDI portal
Publication:3761680
Recommendations
Cited in
(25)- The compression structure of a process
- Script: A communication abstraction mechanism and its verification
- Algebra of communicating processes with abstraction
- On the consistency of Koomen's fair abstraction rule
- Global renaming operators in concrete process algebra
- \(\tau\)-bisimulations and full abstraction for refinement of actions
- Experimenting with process equivalence
- An ``abstract process approach to algebraic dynamic architecture description
- Branching time and orthogonal bisimulation equivalence
- Rooted branching bisimulation as a congruence
- Bisimulation maps in presheaf categories
- A general approach to comparing infinite-state systems with their finite-state specifications
- Action Abstraction in Timed Process Algebra
- scientific article; zbMATH DE number 3990852 (Why is no real title available?)
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- Decision procedures and graph reductions for bisimulation equivalences part 1
- scientific article; zbMATH DE number 4117829 (Why is no real title available?)
- Behavioural abstraction in TCCS
- The Spotlight Principle
- Non-regular iterators in process algebra
- Imperative process algebra with abstraction
- Non finite axiomatisability of weak bisimulation-based congruences
- Axiomatising weak bisimulation congruences over CCS with left merge and communication merge
- On the computational complexity of bisimulation, redux
- Theory of interaction
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 Q3761680)
