scientific article; zbMATH DE number 4121456
From MaRDI portal
Publication:4734770
zbMath0684.68079MaRDI QIDQ4734770
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Thue and Post systems, etc. (03D03)
Related Items (4)
A partial trace semantics for Petri nets ⋮ Modelling concurrency with semi-commutations ⋮ Möbius functions and confluent semi-commutations ⋮ Semi-commutations and rational expressions
This page was built for publication:
