scientific article
From MaRDI portal
Publication:3359755
zbMath0733.68028MaRDI QIDQ3359755
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
distributed systemsasynchronous message-passingcompositional trace models of I/O- automatamodels of communicating systems
Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Towards a complete hierarchy of compositional dataflow models, An algebraic theory of interface automata
