scientific article

zbMath1271.68194MaRDI QIDQ2847413

Laurent Van Begin, Jean-François Raskin

Publication date: 9 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050546

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Boundedness undecidability for synchronized nets ⋮ Well-structured languages

This page was built for publication: