CITATION STYLE
Lamport, L. (1987). A Formal Basis for the Specification of Concurrent Systems. In Distributed Operating Systems (pp. 3–46). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-46604-5_1
Mendeley helps you to discover research relevant for your work.