Approximating Weak Bisimulation on Basic Process Algebras

• Authors: STŘÍBRNÁ Jitka
• Year of publication: 1999
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics

Related projects

• Decidability and complexity of observational equivalences on infinite - state processes
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing