A model of reconfiguration in communicating sequential processes with a notion of transactions
From MaRDI portal
Publication:1186564
DOI10.1016/0020-0190(92)90073-5zbMath0749.68008OpenAlexW1975171082MaRDI QIDQ1186564
Publication date: 28 June 1992
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(92)90073-5
formal semanticsdistributed systemsprogram specificationsoftware engineeringreconfigurable systemsoperating systems
Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Cites Work
This page was built for publication: A model of reconfiguration in communicating sequential processes with a notion of transactions