{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:35Z","timestamp":1725456035913},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190219"},{"type":"electronic","value":"9783540389309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/bfb0026110","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:47:21Z","timestamp":1132645641000},"page":"271-294","source":"Crossref","is-referenced-by-count":24,"title":["Modelling statecharts behaviour in a fully abstract way"],"prefix":"10.1007","author":[{"given":"C.","family":"Huizing","sequence":"first","affiliation":[]},{"given":"R.","family":"Gerth","sequence":"additional","affiliation":[]},{"given":"W. P.","family":"de Roever","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","volume-title":"Proc. CMU Seminar on Concurrency","author":"G. Berry","year":"1985","unstructured":"Berry G., Cosserat L. (1985), The Synchronous Programming Language ESTEREL and its Mathematical Semantics, in \"Proc. CMU Seminar on Concurrency\", LNCS 197, pp. 389\u2013449, Springer-Verlag, New York."},{"key":"19_CR2","unstructured":"Bergerand J.-L., Caspi P., Halbwachs N. (1985), Outline of a real-time dataflow language, in \"Proc. IEEE-CS Real-Time systems Symposium\", San Diego."},{"key":"19_CR3","volume-title":"Proc. PARLE Parallel Architectures and Languages Europe, Vol I","author":"W. Damm","year":"1987","unstructured":"Damm W., D\u00f6hmen G. (1987), An axiomatic approach to the specification of distributed computer architectures, in \"Proc. PARLE Parallel Architectures and Languages Europe, Vol I\", LNCS 258, Springer Verlag, Berlin."},{"key":"19_CR4","unstructured":"Gonthier G., (1988), Ph.D. Thesis, Institute Nationale de R\u00e9cherche en Informatique et en Automatique, Sophia-Antipolis, to appear."},{"key":"19_CR5","first-page":"95","volume-title":"Proc. 14th Colloquium Automata, Languages and Programming ICALP","author":"R. Gerth","year":"1986","unstructured":"Gerth R., Boucher A., A Timed Failures Model for Extended Communicating Processes (1986), in \"Proc. 14th Colloquium Automata, Languages and Programming ICALP\", LNCS 267, pp. 95\u2013114, Springer Verlag, Berlin."},{"key":"19_CR6","unstructured":"Le Guernic P., Beneviste A., Bournal P., Ganthier T. (1985), SIGNAL: A Data Flow Oriented Language For Signal Processing, IRISA Report 246, IRISA, Rennes, France."},{"key":"19_CR7","first-page":"389","volume":"8-3","author":"D. Harel","year":"1987","unstructured":"Harel D. (1987), Statecharts: A visual Approach to Complex Systems, Science of Computer Programming, Vol. 8-3, pp. 389\u2013449, pp. 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"19_CR8","first-page":"108","volume-title":"Proc. Math. Foundat. of Comput. Science","author":"M. Hennessy","year":"1979","unstructured":"Hennessy M., Plotkin G. (1979), Full Abstraction for a Simple Programming Language, in \"Proc. Math. Foundat. of Comput. Science\", LNCS 74, pp. 108\u2013120, Springer Verlag, New York."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Huizing C., Gerth R., De Roever W.P., (1987), Full Abstraction of a Real-Time Denotational Semantics for an OCCAM-like language, in \"Proc. 14th ACM Symposium on Principles of Programming Languages POPL\", pp. 223\u2013237.","DOI":"10.1145\/41625.41645"},{"key":"19_CR10","first-page":"315","volume":"259","author":"J. Hooman","year":"1987","unstructured":"Hooman J. (1987), A compositional proof theory for real-time distributed message passing, in \"Proc. PARLE Parallel Architectures and Languages Europe, Vol II\", LNCS 259, pp. 315\u2013332.","journal-title":"LNCS"},{"key":"19_CR11","series-title":"NATO ASI Series F","first-page":"477","volume-title":"Proc. of the NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel D., Pnueli A. (1985), On the Development of Reactive Systems, Logic and Models of Concurrent Systems, in \"Proc. of the NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems\", NATO ASI Series F, Vol. 13, pp. 477\u2013498 Springer Verlag, Berlin."},{"key":"19_CR12","unstructured":"Harel D., Pnueli A., Pruzan-Schmidt J., Sherman R. (1987), On the Formal Semantics of Statecharts, in \"Proc. Symposion on Logic in Computer Science (LICS)\", pp. 54\u201364."},{"key":"19_CR13","volume-title":"Introduction to automata theory, languages, and computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft J.E., Ullman J.D. (1979), Introduction to automata theory, languages, and computation, Addison-Wesley, Reading."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Koymans R., Shyamasundar R.K., De Roever W.P., Gerth R., Arun-Kumar S. (1988), Compositional Semantics for Real-Time Distributed Computing, Information and Control, to appear.","DOI":"10.1016\/0890-5401(88)90020-X"},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0019-9958(71)90355-X","volume":"18","author":"A. Mazurkiewicz","year":"1971","unstructured":"Mazurkiewicz A., Proving algorithms by tail functions, Information and Control, 18, (1971), pp. 220\u2013226.","journal-title":"Information and Control"},{"key":"19_CR16","volume-title":"Proc. Logic of Programs","author":"A. Salwicki","year":"1981","unstructured":"Salwicki A., M\u00fcldner T. (1981), On the Algorithmic Properties of Concurrent Programs, in \"Proc. Logic of Programs\", LNCS 125, Springer Verlag, New York."},{"key":"19_CR17","unstructured":"Strachey C., Wadsworth C.P., Continuations: A Mathematical Semantics for Handling Full Jumps, Technical Monograph PRG-11, Oxford University Computing Laboratory, Oxford."},{"key":"19_CR18","unstructured":"Zwiers J. (1988), Compositionality and dynamic networks of processes: Investigating verification systems for DNP, Ph.D. Thesis, Eindhoven University of Technology, to appear."}],"container-title":["Lecture Notes in Computer Science","CAAP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:56:30Z","timestamp":1586573790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190219","9783540389309"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0026110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}