scientific article; zbMATH DE number 1418813

zbMath0941.68643MaRDI QIDQ4942095

Leila Ribeiro, Hartmut Ehrig, Julia Padberg

Publication date: 30 March 2000

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

A decade of TAPSOFT ⋮ Towards the Verification of Attributed Graph Transformation Systems ⋮ Formal relationship between graph grammars and Petri nets ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

This page was built for publication: