{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:02Z","timestamp":1725664022621},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_187","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:15:29Z","timestamp":1330254929000},"page":"621-640","source":"Crossref","is-referenced-by-count":2,"title":["Languages for reactive specifications: Synchrony vs asynchrony"],"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,6,8]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry (1992), A hardware implementation of pure Esterel, SADHANA: Special Issue on Real Time edited by RK Shyamasundar, Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, 17 (1):95\u2013139, 1992.","DOI":"10.1007\/BF02811340"},{"issue":"No.2","key":"31_CR2","first-page":"87","volume":"19","author":"G. Berry","year":"1988","unstructured":"G. Berry and G. Gonthier (1988), The Esterel synchronous programming language: Design, semantics, Implementation, Rapport de Recherche 842, INRIA 1988, Science of Computer Programming, Vol. 19, No.2, Nov. 92, pp. 87\u2013152.","journal-title":"Rapport de Recherche 842, INRIA 1988, Science of Computer Programming"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh and R.K. Shyamasundar (1993), Communicating Reactive Processes, 20th Acm Symposium on Principles of Programming Languages, South Carolina, Jan. 1993.","DOI":"10.1145\/158511.158526"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"G. Boudol, V. Roy, R. de Simone, and D. Vergamini, Process Calculi, from theory to practice: Verification tools, In Automatic Verification Methods for Finite State Systems, LNCS 407, Springer-Verlag, 1990, pp. 1\u201310.","DOI":"10.1007\/3-540-52148-8_1"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"P. Caspi and A. Girault (1992), An algorithm for distributing finite transition systems on a shared\/distributed memory system, IMAG Report, L-17, Grenoble, France.","DOI":"10.1007\/3-540-55599-4_137"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare (1978), Communicating Sequential Processes, CACM, August 1978.","DOI":"10.1007\/978-1-4757-3472-0_16"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, Models for Reactivity, TR, Stanford, 1992 (an earlier version presented at the 25th Anniversary of INRIA).","DOI":"10.21236\/ADA266419"},{"key":"31_CR8","series-title":"LNCS, 154","first-page":"561","volume-title":"10th ICALP","author":"E.-R. Olderog","year":"1983","unstructured":"E.-R. Olderog and C.A.R. Hoare (1983), Specification-oriented semantics for communicating processes, 10th ICALP, Barcelona, LNCS, 154, Springer Verlag, pp. 561\u2013572."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_187.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:31:56Z","timestamp":1640917916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_187","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}