@inproceedings{lamport1994decomposing,
author = {Lamport, Leslie and Abadi, Martin},
title = {Decomposing Specifications of Concurrent Systems},
booktitle = {Programming Concepts, Methods and Calculi, Ernst-Rüdiger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet '94, San Miniato, Italy.) North-Holland},
year = {1994},
month = {August},
abstract = {See the discussion of [112].},
url = {http://approjects.co.za/?big=en-us/research/publication/decomposing-specifications-concurrent-systems/},
pages = {327-340},
edition = {Programming Concepts, Methods and Calculi, Ernst-Rüdiger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet '94, San Miniato, Italy.) North-Holland},
}