Specification and Proof Techniques for Serializers

DOI10.1109/TSE.1979.234149MaRDI QIDQ4174726zbMATH OpenOpenAlexWikidataFDO

Authors 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

MonitorParallelismProgram ProvingSerializersVerification

Mathematics Subject Classification ID

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

Cited in

(3)

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

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

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