scientific article
From MaRDI portal
Publication:3783589
zbMath0642.68110MaRDI QIDQ3783589
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri netspartially ordered setsD-continuityoccurrence netsmodels of concurrent systemsconcurrency axiomsDedekind continuitymodel of non-sequential process
Partial orders, general (06A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
This page was built for publication: