scientific article; zbMATH DE number 1096856

From MaRDI portal

Publication:4372486

Jump to:navigation, search

zbMath0899.68044MaRDI QIDQ4372486

Michael Shields

Publication date: 14 December 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent systems process algebras asynchronous transition systems discrete behavioral presentations morphisms between trace languages

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (2)

Cyclic vector languages ⋮ To the role of decomposition strategy in high parallel algorithms

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4372486&oldid=18365140"