scientific article; zbMATH DE number 522844
From MaRDI portal
Publication:4284238
zbMath0794.68113MaRDI QIDQ4284238
Piotr Chrząstowski-Wachtel, Marek Raczunas
Publication date: 17 April 1994
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) Linear Diophantine equations (11D04)
Related Items (2)
A sufficient condition for the liveness of weighted event graphs ⋮ Minimizing place capacities of weighted event graphs for enforcing liveness
This page was built for publication: