scientific article

zbMath1272.68302MaRDI QIDQ2848137

No author found.

Publication date: 25 September 2013

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

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 (4)

Well-structured languages ⋮ On the Efficient Computation of the Minimal Coverability Set for Petri Nets ⋮ Unnamed Item ⋮ Commodification of accelerations for the Karp and Miller construction

This page was built for publication: