Minimization Algorithm for Symbolic Bisimilarity
From MaRDI portal
Publication:3617705
DOI10.1007/978-3-642-00590-9_20zbMath1234.68288OpenAlexW2123863183MaRDI QIDQ3617705
Publication date: 31 March 2009
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: http://eprints.adm.unipi.it/2220/1/TR%2D08%2D27.pdf.gz
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items