%0 Journal Article %1 201069 %A Abadi, Martin %A Lamport, Leslie %C New York, NY, USA %D 1995 %I ACM %J ACM Trans. Program. Lang. Syst. %K modularity specification verification %N 3 %P 507--535 %R http://doi.acm.org/10.1145/203095.201069 %T Conjoining specifications %U http://portal.acm.org/citation.cfm?id=201069 %V 17 %X We show how to specify components of concurrent systems. The specification of a system is the conjunction of its components' specifications. Properties of the system are proved by reasoning about its components. We consider both the decomposition of a given system into parts, and the composition of given parts to form a system.

@article{201069, abstract = {We show how to specify components of concurrent systems. The specification of a system is the conjunction of its components' specifications. Properties of the system are proved by reasoning about its components. We consider both the decomposition of a given system into parts, and the composition of given parts to form a system.}, added-at = {2010-01-26T22:16:07.000+0100}, address = {New York, NY, USA}, author = {Abadi, Martin and Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2732113c2bcfc664bc6e0419fa0a41a5a/giuliano.losa}, description = {Conjoining specifications}, doi = {http://doi.acm.org/10.1145/203095.201069}, interhash = {5cd8c99dcedccaa77af015028c5712fa}, intrahash = {732113c2bcfc664bc6e0419fa0a41a5a}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {modularity specification verification}, number = 3, pages = {507--535}, publisher = {ACM}, timestamp = {2010-01-26T22:16:07.000+0100}, title = {Conjoining specifications}, url = {http://portal.acm.org/citation.cfm?id=201069}, volume = 17, year = 1995 }