Publication:3313265
From MaRDI portal
zbMath0531.68014MaRDI QIDQ3313265
Publication date: 1983
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On priority in COSY, An investigation of controls for concurrent systems based on abstract control languages