Transfer Principles for Reasoning About Concurrent Programs

DOI10.1016/S1571-0661(04)80953-8zbMath1260.68087OpenAlexW2036716729MaRDI QIDQ4917047

Stephen Brookes

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80953-8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Full abstraction for a shared-variable parallel language
• Tentative steps toward a development method for interfering programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Transfer Principles for Reasoning About Concurrent Programs