scientific article; zbMATH DE number 5593270

zbMath1191.68260MaRDI QIDQ5192932

K. M. van Hee, Jan Martijn E. M. van der Werf, Natalia Sidorova, Marc Voorhoeve

Publication date: 10 August 2009

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

Mathematics Subject Classification ID

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

Related Items (4)

Data and process resonance. Identifier soundness for models of information systems ⋮ Describing Behavior of Processes with Many-to-Many Interactions ⋮ Correctness Notions for Petri Nets with Identifiers ⋮ Multiset rewriting for the verification of depth-bounded processes with name binding

This page was built for publication: