Interpreting one concurrent calculus in another
From MaRDI portal
Publication:915484
DOI10.1016/0304-3975(90)90059-QzbMATH Open0702.68083OpenAlexW2089859782MaRDI QIDQ915484FDOQ915484
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
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
- Title not available (Why is that?)
- Calculi for synchrony and asynchrony
- An axiomatic basis for computer programming
- A calculus of communicating systems
- An axiomatic proof technique for parallel programs
- Title not available (Why is that?)
- The power of the future perfect in program logics
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language
- 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)
