{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:07Z","timestamp":1762458967049},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:54:35Z","timestamp":1330257275000},"page":"371-384","source":"Crossref","is-referenced-by-count":4,"title":["Functionality decomposition by compositional correctness preserving transformation"],"prefix":"10.1007","author":[{"given":"Ed","family":"Brinksma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Broekroelofs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Frank P.M. Biemans, A reference model for manufacturing planning and control, Doctoral Dissertation, University of Twente, October 1989.","DOI":"10.1016\/0278-6125(89)90018-6"},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi, E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Networks and ISDN Systems, 14 (1987), pp. 25\u201359.","journal-title":"Comp. Networks and ISDN Systems"},{"key":"31_CR3","unstructured":"Kees Bogaards, A methodology for the architectural design of open distributed systems, doctoral dissertation, University of Twente, 1990."},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Tommaso Bolognesi, A graphical composition theorem for networks of LOTOS processes, Tenth International Conference on Distributed Computing Systems, pp. 88\u201395, IEEE Computer Society Press, 1990.","DOI":"10.1109\/ICDCS.1990.89288"},{"key":"31_CR5","unstructured":"Tommaso Bolognesi (ed.), Catalogue of LOTOS Correctness Preserving Transformations, LOTO-SPHERE Final Deliverable Task 1.2, LO\/WP1\/T1.2\/N0045\/V03, The LOTOSPHERE Consortium, 1992."},{"key":"31_CR6","unstructured":"Ed Brinksma, Formele analyse van gedistribueerde Systemen, Lecture notes (in Dutch), University of Twente, 1992."},{"key":"31_CR7","unstructured":"P. Broekroelofs. Bipartitioning of LOTOS specifications. Masters thesis, Memoranda Informatica 92-50, University of Twente, 1992."},{"key":"31_CR8","unstructured":"Maurizio Caneve, Elena Salvatori (eds.), LOTOSPHERE WP2, Lite User Manual, Ref. Lo\/WP2\/N0034\/V06, November 1991."},{"key":"31_CR9","unstructured":"Henk Eertink, Peter van Eijk (eds.), LOTOSPHERE WP2, The Lite common representation, Ref: Lo\/WP2\/T2.1\/UIT\/N0009\/V9, 1992."},{"key":"31_CR10","unstructured":"Peter van Eijk, Axel Belinfante, The term processor Kimwitu, Manual and Cookbook, version 2, University of Twente, December 1991."},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Peter van Eijk, Jeroen Schot, An exercise in protocol synthesis, Proc. FORTE 91 Conference on Formal Description Techniques, pp. 117\u2013131, (North-Holland, 1992).","DOI":"10.1016\/B978-0-444-89402-1.50019-9"},{"key":"31_CR12","unstructured":"J.F. Groote. Implementation of events in LOTOS-specifications. M.Sc. Thesis, University of Twente, 1988."},{"key":"31_CR13","unstructured":"ISO, Information Processing Systems, Open Systems Interconnection, OSI Conformance Testing Methodology and Framework, IS 9646 (1991)."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"31_CR15","unstructured":"ISO, LOTOS \u2014 A formal description technique based on the temporal ordering of observational behaviour, IS 8807, 1989."},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"F.Khendek, G.v.Bochmann, C.Kant, New results on deriving protocol specifications from service specifications, Proc. SIGCOM '89 Symposium Communications Architecture & Protocols, Computer Communications Review, Vol.19, No.4, September 1989.","DOI":"10.1145\/75247.75261"},{"key":"31_CR17","unstructured":"Rom Langerak, Decomposition of functionality: a correctness preserving LOTOS transformation, Proc. Tenth IFIP International Symposium on Protocol Specification, Testing and Verification, pp. 203\u2013218, (North-Holland, 1990)."},{"key":"31_CR18","unstructured":"R.Langerak. Bundle eveni structures: anon-interleaving semantics for LOTOS. Fifth International Conference on Formal Description Techniques, October 1992, Lannion."},{"key":"31_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"issue":"Number2","key":"31_CR20","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"George J. J. Milne","year":"1985","unstructured":"George J. Milne, Circal and the Representation of Communication, Concurrency, and Time, TOPLAS Volume 7 Number 2, 270\u2013298, 1985.","journal-title":"TOPLAS"},{"key":"31_CR21","unstructured":"Thierry Massart, A protocol synthesizer for LOTOS service specifications, Report IIHE \/HELIOS-B-89-101, Free University of Brussel, December 1989."},{"key":"31_CR22","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M. Hennessy, Testing Equivalences for Processes, Theoretical Computer Science 34, (1984), 83\u2013133.","journal-title":"Theoretical Computer Science"},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(89)90128-X","volume":"68","author":"J. Parrow","year":"1989","unstructured":"J. Parrow, Submodule Construction as Equation Solving in CCS, Theoretical Computer Science 68, 175\u2013202 (1989).","journal-title":"Theoretical Computer Science"},{"key":"31_CR24","unstructured":"Jeroen Schot (ed.), Mini-Mail Structures and Constructs, Lo\/WP3\/T3.3\/UT\/N0018\/V02, The LO-TOSPHERE Consortium, 1991."},{"key":"31_CR25","unstructured":"Jeroen Schot, The role of architectural semantics in the formal approach of distributed systems design, Doctoral Dissertation, University of Twente, February 1992."},{"issue":"5","key":"31_CR26","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1093\/comjnl\/32.5.399","volume":"32","author":"M. W. Shields","year":"1989","unstructured":"M.W. Shields, Implicit System Specification and the Interface Equation, The Computer Journal 32(5), 399\u2013412 (1989).","journal-title":"The Computer Journal"},{"key":"31_CR27","unstructured":"Jan Tretmans, A Formal Approach to Conformance Testing, doctoral dissertation, University of Twente, 1992."},{"key":"31_CR28","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C. A. Vissers","year":"1991","unstructured":"C.A. Vissers, G. Scollo, M.v. Sinderen, H. Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science 89, pp. 179\u2013206, 1991.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:07:56Z","timestamp":1640927276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}