Publication:3773358
From MaRDI portal
zbMath0634.68061MaRDI QIDQ3773358
Publication date: 1987
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Inheritance of behavior, Inheritance of workflows: An approach to tackling problems related to change, \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems