Interpreting one concurrent calculus in another

DOI10.1016/0304-3975(90)90059-QMaRDI QIDQ915484zbMATH OpenOpenAlexFDO

Authors Robin 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

concurrencyparallel programmingprocess calculusimperative calculus

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• A calculus of communicating systems
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• An axiomatic basis for computer programming
• An axiomatic proof technique for parallel programs
• Calculi for synchrony and asynchrony
• The power of the future perfect in program logics
• Traffic Modelling and Probabilistic Process Abstraction

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

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