scientific article; zbMATH DE number 2016085

zbMath1028.68032MaRDI QIDQ4438793

Bettina E. Enders, Julia Padberg

Publication date: 10 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2505/25050334.htm

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) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Workshop on Petri Nets and Graph Transformations

This page was built for publication: