scientific article
From MaRDI portal
Publication:2761710
zbMath0976.68542MaRDI QIDQ2761710
Fiorella de Cindio, Alfredo Chizzoni, Eugenio Battiston
Publication date: 7 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2001/20010131
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
A wide-spectrum language for object-based development of real-time systems ⋮ The consistent use of names and polymorphism in the definition of Object Petri Nets
Uses Software
This page was built for publication:
