Expand, Enlarge, and Check for Branching Vector Addition Systems

DOI10.1007/978-3-642-40184-8_12zbMath1390.68481OpenAlexW118505169MaRDI QIDQ2842103

Zilong Wang, Rupak Majumdar

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40184-8_12

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

The ideal view on Rackoff's coverability technique

This page was built for publication: Expand, Enlarge, and Check for Branching Vector Addition Systems