Interpreting one concurrent calculus in another

DOI10.1016/0304-3975(90)90059-QzbMath0702.68083OpenAlexW2089859782MaRDI QIDQ915484

Arthur J. Milner

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90059-q

zbMATH Keywords

parallel programmingconcurrencyprocess calculusimperative calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• A calculus of communicating systems
• An axiomatic proof technique for parallel programs
• The power of the future perfect in program logics
• Traffic Modelling and Probabilistic Process Abstraction
• An axiomatic basis for computer programming

This page was built for publication: Interpreting one concurrent calculus in another