{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:43Z","timestamp":1725664603400},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:11Z","timestamp":1330279091000},"page":"263-279","source":"Crossref","is-referenced-by-count":0,"title":["Communication Extended Abstract Types in the refinement of parallel communicating processes"],"prefix":"10.1007","author":[{"given":"Miquel","family":"Bertran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe","family":"Alvarez-Cuevas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Duran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"18_CR1","volume-title":"Simula 67 Common Base Language","author":"O. J. Dahl","year":"1968","unstructured":"O. J. Dahl, B. Myhrhang, and K. Nygaard, Simula 67 Common Base Language, Norsk Regnesentral, Oslo, Norway, 1968."},{"key":"18_CR2","volume-title":"Structured Programming","author":"O. J. Dahl","year":"1972","unstructured":"O. J. Dahl, \u2018Hierarchical program structures', In Structured Programming, Academic Press, New York, 1972."},{"key":"18_CR3","unstructured":"B. Liskov, J. Guttag, Abstraction and Specification in Program Development, Mc-Graw Hill 1986."},{"key":"18_CR4","volume-title":"PhD Dissertation","author":"R. W. Witty","year":"1981","unstructured":"R. W. Witty, Small scale software engineering, PhD Dissertation, Department of Computer Science, Brunel University, Uxbridge, UK, September 1981."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Comm. ACM, Vol. 21, N. 8, August 1978.","DOI":"10.1145\/359576.359585"},{"key":"18_CR6","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985."},{"key":"18_CR7","unstructured":"A.W. Roscoe, C.A.R. Hoare, The laws of OCCAM programming, Oxford University Computing Laboratory, Programming Research Group Report, Tech. Monograph PRG-53, February 1986."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR9","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall 1989."},{"volume-title":"Formal Verification of Hardware Design","year":"1990","key":"18_CR10","unstructured":"Michael Yoeli, Ed., Formal Verification of Hardware Design, IEEE Computer Society Press, Los Alamitos, California, 1990."},{"key":"18_CR11","unstructured":"ISO DIS 8807: Information Processing Systems. Open System Interconnection. LOTOS A Formal Description Technique based on the Temporal Ordering of Observational Behavior, July 1988."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"F. Alvarez-Cuevas, F. Oller, M. Bertran, J. Selga, \u2018A Novel Algorithm for Voice Synchronization in Packet Switching Networks', IEEE Network Magazine, September 1993.","DOI":"10.1109\/65.238151"},{"key":"18_CR13","unstructured":"M. Bertran, F. Oller, F. Alvarez-Cuevas, A. Duran, M. Porta, \u2018The Llull system (TLS). An integration of formalism and simulation for parallel-distributed and real-time software synthesis and development', Proc. Third AMAST Workshop on Real-Time Systems, Salt-Lake City, Utah, March 6\u20138, 1996."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"M. Bertran, F. Alvarez-Cuevas, ... \u2018A design environment with simulation and formal verification', Proc. 5th IEEE Communications. Soc. Computer Aided Modeling and Design of Communication Links and Networks, CAMAD'94, Princeton, New Jersey, USA, April 24\u201327, 1994.","DOI":"10.1109\/CAMAD.1994.765636"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"M. Bertran, F. Oller, ... \u2018An Environment for DSP System Development with Extended Abstract Types, and Dimensional Design (PADDE)', Proc. IEEE Intl. Conf. A.S.Signal Processing, ICASSP-93, Minneapolis, USA, April 1993, pp. I-449 to I-452.","DOI":"10.1109\/ICASSP.1993.319152"},{"key":"18_CR16","unstructured":"M. Bertran, \u2018PADD: A Schema Notation Integrating Parallelism and Abstraction', Report, E.T.S.E.Telecom. (UPC), Barcelona, Autumn 1989. Also in Proc. IEEE Com. soc. CAMAD'92, Montebello, Quebec, Canada, 29 sept.\u20132 oct., 1992."},{"issue":"11","key":"18_CR17","doi-asserted-by":"publisher","first-page":"1029","DOI":"10.1002\/spe.4380181103","volume":"18","author":"M. Bertran","year":"1988","unstructured":"M. Bertran, \u2018On a Formal Definition and Application of Dimensional Design', Software \u2014 Practice and Experience, Vol. 18(11), pp 1029\u20131045 (November 1988).","journal-title":"Software \u2014 Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:37:29Z","timestamp":1561372649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}