scientific article; zbMATH DE number 2086654
From MaRDI portal
Publication:4737191
zbMath1057.68069MaRDI QIDQ4737191
Holger Hermanns, Markus Lohrey, Pedro R. D'Argenio
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2380/23800585.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours ⋮ Theory of interaction ⋮ On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS ⋮ Axiomatising divergence
This page was built for publication: