scientific article

zbMath1154.68093MaRDI QIDQ3601864

David de Frutos-Escrig, Fernando Rosa-Velardo

Publication date: 12 February 2009

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

Model checking Petri nets with names using data-centric dynamic systems ⋮ Describing Behavior of Processes with Many-to-Many Interactions ⋮ Dynamic Networks of Timed Petri Nets ⋮ Decidability and complexity of Petri nets with unordered data ⋮ Multiset rewriting for the verification of depth-bounded processes with name binding ⋮ Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Inferring Unobserved Events in Systems with Shared Resources and Queues

This page was built for publication: