{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:12Z","timestamp":1725663672428},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:52:34Z","timestamp":1330231954000},"page":"454-465","source":"Crossref","is-referenced-by-count":3,"title":["An algebra of Boolean processes"],"prefix":"10.1007","author":[{"given":"Costas","family":"Courcoubetis","sequence":"first","affiliation":[]},{"given":"Susanne","family":"Graf","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"S. Aggarwal, D. Barbara, K. Z. Meth. \u201cSPANNER-A Tool for the Specification, Analysis, and Evaluation of Protocols,\u201d IEEE Trans. on Software Engineering (to appear).","DOI":"10.1109\/TSE.1987.232877"},{"key":"42_CR2","unstructured":"S. Aggarwal, C. Courcoubetis. \u201cDistributed Implementation of a Model of Communication and Computation,\u201d Proceedings of the Int. Conf. on System Sciences, January, 1985."},{"key":"42_CR3","unstructured":"S. Aggarwal, R. P. Kurshan, K. K. Sabnani. \u201cA Calculus for Protocol Specification and Validation,\u201d in Protocol Specification, Testing and Verification III, North-Holland, 1983."},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"R. Kurshan, \u201cAnalysis of Discrete Event Coordination\u201d. LNCS 430 (1990).","DOI":"10.1007\/3-540-52559-9_74"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"S. Aggarwal, C. Courcoubetis, P. Wolper. \u201cAdding Liveness Properties to Coupled Finite-State Machines\u201d, ACM TOPLAS, Vol. 12, No 2, April 1990.","DOI":"10.1145\/78942.78948"},{"key":"42_CR6","unstructured":"B. Gopinath, B. Kurshan. \u201cThe Selection\/Resolution Model for Coordinating Concurrent Processes\u201d, AT&T Bell Laboratories Technical Report."},{"key":"42_CR7","unstructured":"J. Katzenelson, B. Kurshan, \u201cS\/R: A Language for Specifying Protocols and other Coordinating Processes\u201d, Proc. 5th Ann. Int'l Phoenix Conf. Comput. Commun., IEEE, 1986."},{"key":"42_CR8","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.-C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis. Safety for Branching Semantics, ICALP 91, Madrid, LNCS Vol. 510, 1991.","DOI":"10.1007\/3-540-54233-7_126"},{"key":"42_CR9","unstructured":"F. Maraninchi. Argos: a graphical synchronous language for the description of reactive systems, Report Spectre C-29, Grenoble, March 91, submitted to SCP"},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus for Communicating Systems, LNCS 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. Calculi for Synchrony and Asynchrony, Theoret. Comp. Sci. 25, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner. A Complete Inference System for a Class of Regular Behaviours, Journal of Comp. and Syst. Sci. Vol. 28, 1984","DOI":"10.1016\/0022-0000(84)90023-0"},{"key":"42_CR13","unstructured":"R. Milner. Communication and Concurrency, Prentice Hall, 1989"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:02Z","timestamp":1605628682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}