{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:36:00Z","timestamp":1761510960403},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:40:20Z","timestamp":1330270820000},"page":"436-461","source":"Crossref","is-referenced-by-count":1,"title":["Semantics and verification of hierarchical CRP programs"],"prefix":"10.1007","author":[{"given":"R. K.","family":"Shyamasundar","sequence":"first","affiliation":[]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry (1992), A hardware implementation of pure Esterel, Sadhana: Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, Special Issue on Real Time Systems, edited by RK Shyamasundar, 17 (1):95\u2013139, 1992.","DOI":"10.1007\/BF02811340"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Gonthier, The Esterel synchronous programming language: Design, semantics, Implementation, SCP, Vol. 19, No.2, Nov. 92, pp. 87\u2013152.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"23_CR3","unstructured":"G. Berry, Causality in Esterel Programs, Dagstuhl Seminar on Synchronous Languages, 28 Nov\u2013Dec 2'94."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh and R.K. Shyamasundar, Communicating Reactive Processes, 20th ACM POPL, South Carolina, Jan. 1993, pp. 85\u201399.","DOI":"10.1145\/158511.158526"},{"key":"23_CR5","unstructured":"G. Berry, S. Ramesh and R.K. Shyamasundar, Multi-Clock ESTEREL, manuscript, December 1994."},{"key":"23_CR6","unstructured":"O. Ploton, Identifying Causality in Esterel Programs, Dagstuhl Seminar on Synchronous Languages, 28 Nov\u2013Dec 2' 94."},{"key":"23_CR7","unstructured":"R.K. Shyamasundar, Specification of Hybrid Systems in CRP, Proc. of AMAST 93, Workshops in Computing Series from Springer-Verlag, Edited by M. Nivat, C. Rattray, T. Rus and G. Scollo, pp. 227\u2013238, December 1993."},{"key":"23_CR8","unstructured":"R.K. Shyamasundar, Specification of Dynamic Real-Time Systems in CRP, Proc. IFIP 94, Hamburg, Aug. 28\u2013Sept 2'94."},{"key":"23_CR9","volume-title":"Proc. FTRTFT","author":"R.K. Shyamasundar","year":"Sept 1994","unstructured":"R.K. Shyamasundar and S. Ramesh, Languages for Recative Specifications: Synchrony vs Asynchrony, Proc. FTRTFT, Lubeck, LNCS, 863, Sept 1994."},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"R. de Simone, Higher Level Synchronizing devices in Meije-SCCS, TCS, 37, pp 245\u2013267, 1985.","journal-title":"TCS"},{"key":"23_CR11","unstructured":"R. de Simone and A. Ressouche, Compositional Semantics of ESTEREL and Verification by Compositional Reductions, Proc. of Computer Aided Verification 94, June 94."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"V. Roy and R. de Simone, Auto and Autograph, In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990.","DOI":"10.1090\/dimacs\/003\/29"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T15:01:31Z","timestamp":1687273291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}