scientific article; zbMATH DE number 1096856

MaRDI QIDQ4372486zbMATH OpenFDO

Authors Michael Shields

Publication date 14 December 1997

zbMATH Keywords

asynchronous transition systemsconcurrent systemsdiscrete behavioral presentationsmorphisms between trace languagesprocess algebras

Mathematics Subject Classification ID

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

Recommendations

• Denotational semantics of a parallel object-oriented language
• scientific article; zbMATH DE number 723228
• The relationship between two semantics of parallel computations
• scientific article; zbMATH DE number 1424057
• A denotational semantics for shared-memory parallelism and nondeterminism
• scientific article; zbMATH DE number 4117855
• scientific article; zbMATH DE number 2230607
• A layered semantics for a parallel object-oriented language
• Non-interleaving bisimulation equivalences on basic parallel processes

Cited in

(6)

• Concurrent and maximally concurrent evolution of nonsequential systems
• To the role of decomposition strategy in high parallel algorithms
• From transitions to executions
• CONCURRENT AUTOMATA AND DOMAINS
• scientific article; zbMATH DE number 4119642 (Why is no real title available?)
• Cyclic vector languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372486)