scientific article
From MaRDI portal
Publication:3777459
zbMath0637.68059MaRDI QIDQ3777459
Scott A. Smolka, Paris C. Kanellakis
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
testingNP-completenetwork protocolsdistributed computing systemsfinite state processesFSP equivalence
Algebraic theory of languages and automata (68Q70) 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:
