scientific article; zbMATH DE number 1101602

zbMath0885.68115MaRDI QIDQ4371024

José Meseguer, Vladimiro Sassone, Ugo Montanari

Publication date: 28 January 1998

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

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Related Items (8)

Multilevel transitive and intransitive non-interference, causally ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Non-interference by Unfolding ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Normal forms for algebras of connections. ⋮ Functorial models for Petri nets ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

This page was built for publication: