×

zbMATH — the first resource for mathematics

Processes of place/transition-nets. (English) Zbl 0523.68046
Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 264-277 (1983).

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