{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:44Z","timestamp":1725664604969},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:16Z","timestamp":1330297096000},"page":"199-215","source":"Crossref","is-referenced-by-count":0,"title":["A transformation of monitor into communication synchronized parallel processes: A systematic refinement step in design"],"prefix":"10.1007","author":[{"given":"Miquel","family":"Bertran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"P.A. Buhr, M. Fortier, M.H. Coffin, \u2018Monitor classification', ACM Computing Surveys, Vol. 27, No. 1, March 1995.","DOI":"10.1145\/214037.214100"},{"key":"14_CR2","unstructured":"P.B. Hansen, Operating System Principles, Prentice-Hall, 1973."},{"issue":"N.10","key":"14_CR3","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare, \u2018Monitors: An Operating System Structuring Concept', Communications ACM, October 1974, Vol. 17, N. 10, 549\u2013557.","journal-title":"Communications ACM"},{"key":"14_CR4","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":"14_CR5","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":"14_CR6","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":"14_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"14_CR8","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall 1989."},{"key":"14_CR9","volume-title":"VHDL, Analysis and Modeling of Digital Systems","author":"Z. Navabi","year":"1993","unstructured":"Z. Navabi, VHDL, Analysis and Modeling of Digital Systems, Mc-Graw Hill, N.Y., 1993."},{"key":"14_CR10","volume-title":"Codesign. Computer-aided software\/hardware engineering","author":"J. Rozenblit","year":"1995","unstructured":"J. Rozenblit, K. Buchenrieder, Codesign. Computer-aided software\/hardware engineering, IEEE Press, Piscataway, N.J. 1995."},{"volume-title":"Formal Verification of Hardware Design","year":"1990","key":"14_CR11","unstructured":"Michael Yoeli, Ed., Formal Verification of Hardware Design, IEEE Computer Society Press, Los Alamitos, California, 1990."},{"key":"14_CR12","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":"14_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, Utha, March 6\u20138, 1996."},{"key":"14_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":"14_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":"14_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."}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T14:37:30Z","timestamp":1561387050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}