Specification and Proof Techniques for Serializers

DOI10.1109/TSE.1979.234149zbMath0393.68027OpenAlexW1968083012WikidataQ30048058 ScholiaQ30048058MaRDI QIDQ4174726

Carl E. Hewitt, Russel Atkinson

Publication date: 1979

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1979.234149

zbMATH Keywords

VerificationParallelismProgram ProvingMonitorSerializers

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25)

Related Items (3)

Towards a universal construction for transaction-based multiprocess programs ⋮ On describing the behavior and implementation of distributed systems ⋮ Primitives for resource management in a demand-driven reduction model

This page was built for publication: Specification and Proof Techniques for Serializers