Publisher
Springer Nature Switzerland
Reference28 articles.
1. Aczel, P.H.G.: On an inference rule for parallel composition. Private communication to Cliff Jones (1983). http://homepages.cs.ncl.ac.uk/cliff.jones/publications/MSs/PHGA-traces.pdf
2. Back, R.J.R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998)
3. Collette, P., Jones, C.B.: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction, chap. 10, pp. 277–307. MIT Press (2000)
4. Colvin, R.J., Hayes, I.J., Meinicke, L.A.: Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects Comput. 29, 853–875 (2016). https://doi.org/10.1007/s00165-017-0416-4
5. Dijkstra, E.W.: Guarded commands, nondeterminacy, and a formal derivation of programs. CACM 18, 453–458 (1975)