{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:25Z","timestamp":1725486325312},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_19","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:56:45Z","timestamp":1181170605000},"page":"248-262","source":"Crossref","is-referenced-by-count":4,"title":["Consistency of Partial Process Specifications"],"prefix":"10.1007","author":[{"given":"Maarten","family":"Steen","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"Eerke","family":"Boiten","sequence":"additional","affiliation":[]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"G. Booch. Object oriented design with applications. Benjamin\/Cummings, 1991.","DOI":"10.1145\/149576.149582"},{"key":"19_CR3","unstructured":"E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In Protocol Specification, Testing and Verification VI, pages 349\u2013360. IFIP, 1987."},{"key":"19_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0039057","volume-title":"CONCUR\u2019 90: Theories of Concurrency: Unification and Extension","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and B. Steffen. A preorder for partial process specifications. In J. C. M. Baeten and J. W. Klop, editors, CONCUR\u2019 90: Theories of Concurrency: Unification and Extension, LNCS 458, pages 141\u2013151. Springer-Verlag, 1990."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. View-points: a framework for integrating multiple perspectives in system development. International Journal on Software Engineering and Knowledge Engineering, Spe-cial issue on Trends and Research Directions in Software Engineering Environ-ments, 2(1):31\u201358, March 1992.","DOI":"10.1142\/S0218194092000038"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"C. Fischer and G. Smith. Combining CSP and Object-Z: Finite or infinite trace semantics. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, FORTE\/PSTV\u201997, pages 503\u2013518, Osaka, Japan, November 1997. Chapman & Hall.","DOI":"10.1007\/978-0-387-35271-8_31"},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R. J. Glabbeek van","year":"1993","unstructured":"R. J. van Glabbeek. The linear time-branching time spectrum II; the semantics of sequential systems with silent moves (extended abstract). In E. Best, editor, CONCUR\u201993, LNCS 715, pages 66\u201381. Springer-Verlag, 1993."},{"key":"19_CR8","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":"19_CR9","unstructured":"ISO\/IEC JTC1\/SC21\/WG7. Basic Reference Model of Open Distributed Processing. ISO 10746, 1993. Parts 1\u20134."},{"key":"19_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BFb0039050","volume-title":"CONCUR\u201990. Theories of Concurrency: Unification and Extensions","author":"K. G. Larsen","year":"1990","unstructured":"K. G. Larsen. Ideal specification formalism = expressivity + compositionality + decidability + testability +\u2014. In CONCUR\u201990. Theories of Concurrency: Unification and Extensions, LNCS 458, pages 33\u201356. Springer-Verlag, 1990."},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems: Proceedings","author":"K. G. Larsen","year":"1990","unstructured":"K. G. Larsen. Modal specifications. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems: Proceedings, LNCS 407, pages 232\u2013246. Springer Verlag, 1990."},{"key":"19_CR12","series-title":"PhD thesis","volume-title":"On the Role of Implementation Relations in the Design of Distributed Systems using LOTOS","author":"G. Leduc","year":"1991","unstructured":"G. Leduc. On the Role of Implementation Relations in the Design of Distributed Systems using LOTOS. PhD thesis, University of Li\u00e8ge, Belgium, June 1991."},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","volume":"25","author":"G. Leduc","year":"1992","unstructured":"G. Leduc. A framework based on implementation relations for implementing LO-TOS specifications. Computer Networks and ISDN Systems, 25:23\u201341, 1992.","journal-title":"Computer Networks and ISDN Systems"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"P. F. Linington. RM-ODP: The Architecture. In K. Raymond and L. Armstrong, editors, Open Distributed Processing II, pages 15\u201333. Chapman & Hall, February 1995.","DOI":"10.1007\/978-0-387-34882-7_2"},{"key":"19_CR15","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"19_CR16","unstructured":"R. Sinnott and K. J. Turner. Modeling ODP viewpoints. In H. Kilov, W. Harvey, and H. Mili, editors, Workshop on Precise Behavioral Specifications in Object-Oriented Information Modeling, OOPSLA 1994, pages 121\u2013128. OOPSLA, October1994."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"M. W. A. Steen. Consistency and Composition of Process Specifications. PhD thesis, University of Kent at Canterbury, May 1998. Submitted for examination.","DOI":"10.1007\/3-540-49253-4_19"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"M. W. A. Steen, H. Bowman, and J. Derrick. Composition of LOTOS specifications. In P. Dembi\u0144ski and M. \u015aredniawa, editors, Protocol Specification, Testing and Verification XV, pages 87\u2013102. Chapman & Hall, 1995.","DOI":"10.1007\/978-0-387-34892-6_6"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:21:26Z","timestamp":1683861686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}