@article{lamport1987a,
author = {Lamport, Leslie},
title = {A Formal Basis for the Specification of Concurrent Systems},
year = {1987},
month = {April},
abstract = {This paper describes the transition axiom method I introduced in [50]. It was written for a NATO Advanced Study Institute that took place in Turkey in August, 1986, and contains little that was new.},
url = {http://approjects.co.za/?big=en-us/research/publication/formal-basis-specification-concurrent-systems/},
pages = {1-46},
journal = {In Distributed Operating Systems: Theory and Practice, Paker, Banatre and Bozyigit, editors, Springer-Verlag},
}