scientific article; zbMATH DE number 2086960

zbMath1057.68067MaRDI QIDQ4737569

Shmuel Katz, Katerina Korenblat, Orna Grumberg

Publication date: 11 August 2004

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

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

zbMATH Keywords

Petri netsmodel translationsstructure and semantics preservationtextual transition systems

Mathematics Subject Classification ID

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

This page was built for publication: