{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:03:22Z","timestamp":1742997802128,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_1","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:55:33Z","timestamp":1286956533000},"page":"3-15","source":"Crossref","is-referenced-by-count":0,"title":["1 Models of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"first","affiliation":[]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"van Glabbeek, R.J.H.: Comparative concurrency semantics and refinement of actions. Technical Report 109, Centrum voor Wiskunden en Informatica, CWI Tracts (1996)"},{"key":"1_CR2","volume-title":"ACM Distinguished Dissertations","author":"D.L. Dill","year":"1989","unstructured":"Dill, D.L.: Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits. In: ACM Distinguished Dissertations. The MIT Press, Cambridge (1989)"},{"key":"1_CR3","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"1_CR4","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Texts and Monographs in Computer Science. Springer, Heidelberg (2001)"},{"key":"1_CR5","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"1_CR6","series-title":"Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"3","key":"1_CR7","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An Introduction to Input\/Output Automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Owicki, S., Gries, D.: An Axiomatic Proof Technique for Parallel Programs. Acta Informatica\u00a014 (1976)","DOI":"10.1007\/BF00268134"},{"key":"1_CR9","volume-title":"Parallel Program Design - A Foundation","author":"K.M. Chandy","year":"1989","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design - A Foundation, 2nd edn. Addison-Wesley, Reading (May 1989)","edition":"2"},{"key":"1_CR10","unstructured":"AUTOSAR GbR: Autosar Specification of RTE Software, Version 1.0.1 (2006)"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design: An International Journal\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design: An International Journal"},{"key":"1_CR12","unstructured":"CCITT: Functional Specification and Description Language (SDL) Criteria for Using Formal Description Techniques, FDTs (1989)"},{"key":"1_CR13","unstructured":"OSEK\/VDX Group: OSEK\/VDX-COM 2.2 Communication Specification (2000)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-58043-3_23","volume-title":"A Decade of Concurrency","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: Verification and Specification of Concurrent Programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 347\u2013374. Springer, Heidelberg (1994)"},{"key":"1_CR15","unstructured":"Berry, G.: The Esterel v5 Language Primer. Technical report, INRIA (July 2000), \n                    \n                      http:\/\/www-sop.inria.fr\/meije\/esterel\/esterel-eng.html\n                    \n                    \n                   (accessed August 19, 2002)"},{"key":"1_CR16","unstructured":"OSEK\/VDX Group: OSEK\/VDX-COM 2.2 Communication Specification (2005)"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF01178564","volume":"29","author":"M.B. Josephs","year":"1992","unstructured":"Josephs, M.B.: Receptive process theory. Acta Informatica\u00a029(1), 17\u201331 (1992)","journal-title":"Acta Informatica"},{"key":"1_CR18","volume-title":"Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design","author":"B. Sch\u00e4tz","year":"2004","unstructured":"Sch\u00e4tz, B.: Mastering the Complexity of Embedded Systems - The AutoFocus Approach. In: Kordon, F., Lemoine, M. (eds.) Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design. Kluwer, Dordrecht (2004)"},{"key":"1_CR19","unstructured":"Berry, G.: Synchronous Languages for Reactive Systems: Styles, Semantics, Implementations. In: Symposium on Principles of Programming Languages, ACM SIGPLAN-SIGACT (1993)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Masaccio: A Formal Model for Embedded Components. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 549\u2013563. Springer, Heidelberg (2000)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Real-Time: Theory in Practice","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600. Springer, Heidelberg (1992)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of FTRTFT 1994","author":"M. Beeck von der","year":"1995","unstructured":"von der Beeck, M.: Comparison of Statecharts Variants. In: FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863. Springer, Heidelberg (1995)"},{"key":"1_CR24","unstructured":"Parrow, J.: Fairness properties in process algebra with applications in communication protocol verification. PhD thesis, Uppsala University (1985)"},{"key":"1_CR25","unstructured":"Davis, J., Schneider, S.: An Introduction to Timed CSP. PRG-\u00a075, PRG Programming Research Group, Oxford (1989)"},{"issue":"5","key":"1_CR26","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems\u00a016(5), 1543\u20131571 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-45828-X_8","volume-title":"Embedded Software","author":"G. G\u00f6ssler","year":"2002","unstructured":"G\u00f6ssler, G., Sangiovanni-Vincentelli, A.L.: Compositional Modeling in Metropolis. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 93\u2013107. Springer, Heidelberg (2002)"},{"key":"1_CR28","unstructured":"Ptolemy II Website (2008), \n                    \n                      http:\/\/ptolemy.eecs.berkeley.edu"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Lee, E.A.: Causality interfaces for actor networks. Transactions on Embedded Computing Systems\u00a07(3) (2008)","DOI":"10.1145\/1347375.1347382"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:59:34Z","timestamp":1558292374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_1"}},"subtitle":["Communication, Concurrency, and Causality"],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}