{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:31:07Z","timestamp":1754487067915},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_225","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:12:29Z","timestamp":1330258349000},"page":"636-650","source":"Crossref","is-referenced-by-count":5,"title":["A gentle introduction to specification engineering using a case study in telecommunications"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Kleuker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"42_CR1","volume-title":"Technical Report","author":"S. Abramowski","year":"1993","unstructured":"S. Abramowski et al., CCITT Intelligent Network Capability Set-1: Concepts and Limitations, Philips Research Laboratories Aachen, Technical Report, November 1993"},{"key":"42_CR2","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0169-7552(89)90078-0","volume":"16","author":"F. Belina","year":"1988\/89","unstructured":"F. Belina, D. Hogrefe, The CCITT-Specification and Description Language SDL, Computer Networks and ISDN Systems 16 (1988\/89) 311\u2013341, North-Holland","journal-title":"Computer Networks and ISDN Systems"},{"key":"42_CR3","unstructured":"D. Bj\u00f8rner, H. Langmaack, C.A.R. Hoare, ProCoS I Final Deliverable, ProCoS Technical Report ID\/DTH db 13\/1, January 1993"},{"key":"42_CR4","first-page":"60","volume":"39","author":"D. Bj\u00f8rner","year":"1989","unstructured":"D. Bj\u00f8rner et al., A ProCoS project description: ESPRIT BRA 3104, Bulletin of the EATCS, 39:60\u201373, 1989","journal-title":"Bulletin of the EATCS"},{"key":"42_CR5","unstructured":"J. Bohn, H. Hungar, Traverdi \u2014 Transformation and Verification of Distributed Systems, in M. Broy, S. J\u00e4hnichen, (eds.): KORSO, Correct Software by Formal Methods, to appear in LNCS (Springer-Verlag)"},{"key":"42_CR6","first-page":"176","volume-title":"Developing Correct Systems, 5th EuroMicro Workshop on Real-Time Systems","author":"J. Bowen","year":"1993","unstructured":"J. Bowen et al., Developing Correct Systems, 5th EuroMicro Workshop on Real-Time Systems, Oulu, Finland, 1993, (IEEE Computer Society Press) 176\u2013187"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"E.J. Cameron et al., A Feature-Interaction Benchmark for IN and Beyond, IEEE Communications Magazine, March 1993","DOI":"10.1109\/35.199613"},{"key":"42_CR8","unstructured":"CCITT Recommendations Q.1200: Intelligent Networks, final version, WP XI\/4. Geneva. March 1992"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"K.M.Chandy, J. Misra, Parallel Program Design, Addison-Wesley, 1988","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"D. Y. Chao, D. T. Wang, An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, Software \u2014 Practice and Experience, Vol. 24(8), 1994","DOI":"10.1002\/spe.4380240805"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"J.M. Duran, J. Visser, International Standards for Intelligent Networks, IEEE Communications Magazine, February 1992","DOI":"10.1109\/35.127556"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"J.J. Garrahan et al., Intelligent Network Overview, IEEE Communications Magazine, March 1993","DOI":"10.1109\/35.199607"},{"key":"42_CR13","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, London, 1985"},{"key":"42_CR14","unstructured":"S. Kleuker, Provably Correct Communication Networks (CoCoN) (Draft Version), Philips Research Laboratories Aachen, Technical Report, 1123\/95, 1995"},{"key":"42_CR15","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/0169-7552(92)90011-E","volume":"23","author":"L. Logrippo","year":"1992","unstructured":"L. Logrippo, M. Faci, M. Haj-Hussein, An Introduction to LOTOS, Computer Networks and ISDN Systems 23 (1992) 325\u2013342, North-Holland","journal-title":"Computer Networks and ISDN Systems"},{"key":"42_CR16","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, Towards a Design Calculus for Communicating Programs, LNCS 527 (Springer-Verlag), p. 61\u201377, 1991","DOI":"10.1007\/3-540-54430-5_81"},{"key":"42_CR17","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, S. R\u00f6ssig, A Case study in Transformational Design on Concurrent Systems, in M.-C. Gaudel, J.-P. Jouannaud, eds., Proc. TAPSOFT '93, LNCS (Springer-Verlag), 1993","DOI":"10.1007\/3-540-56610-4_58"},{"key":"42_CR18","unstructured":"E.-R. Olderog et al., ProCoS at Oldenburg: The Interface between Specification Language and OCCAM-like Programming Language. Technical Report, Bericht 3\/92, Univ. Oldenburg, Fachbereich Informatik, 1992"},{"key":"42_CR19","doi-asserted-by":"crossref","unstructured":"H. A. Partsch, Specification and Transformation of Programs, Springer-Verlag, 1990","DOI":"10.1007\/978-3-642-61512-2"},{"key":"42_CR20","unstructured":"S. R\u00f6ssig, A Transformational Approach to the Design of Communicating Systems, PhD thesis, University of Oldenburg, 1994"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"S. R\u00f6ssig, M. Schenke, Specification and Stepwise Development of Communicating Systems, LNCS 551 (Springer-Verlag), 1991","DOI":"10.1007\/3-540-54834-3_11"},{"key":"42_CR22","doi-asserted-by":"crossref","unstructured":"P. Zafiropulo et al., Towards Analyzing and Synthesizing Protocols, IEEE Transactions on Communications, Vol COM-28, No. 4, April 1980","DOI":"10.1109\/TCOM.1980.1094687"},{"key":"42_CR23","unstructured":"J. Zwiers, Compositionality, Concurrency and Partial Correctness \u2014 Proof Theories for Networks of Processes and Their Relationship, LNCS 321 (Springer-Verlag), 1989"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_225.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:26:40Z","timestamp":1605630400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_225","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}