scientific article; zbMATH DE number 1361116

zbMath0946.68097MaRDI QIDQ4270050

Stefan Römer, Javier Esparza

Publication date: 10 November 1999

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

zbMATH Keywords

Petri netsunfolding method

Mathematics Subject Classification ID

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

Related Items (6)

Causality analysis and fault ascription in component-based systems ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ A method for the verification of a distributed and synchronized algorithm ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ Unnamed Item ⋮ Full simulation coverage for SystemC transaction-level models of systems-on-a-chip

This page was built for publication: