{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:53Z","timestamp":1725663893459},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:44Z","timestamp":1330208444000},"page":"397-411","source":"Crossref","is-referenced-by-count":2,"title":["Comparative semantics for a real-time programming language with integration"],"prefix":"10.1007","author":[{"given":"Franck","family":"Breugel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1145\/6490.6494","volume":"33","author":"K.R. Apt","year":"1986","unstructured":"K.R. Apt and G.D. Plotkin. Countable Non-Determinism and Random Assignment. Journal of the ACM 33 (1986), 724\u2013767.","journal-title":"Journal of the ACM"},{"key":"22_CR2","volume-title":"Real-Time Process Algebra","author":"J.C.M. Baeten","year":"1989","unstructured":"J.C.M. Baeten and J.A. Bergstra. Real-Time Process Algebra. Report P8916, Programming Research Group, University of Amsterdam, Amsterdam (1989)."},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(84)90114-2","volume":"34","author":"J.W. Bakker de","year":"1984","unstructured":"J.W. de Bakker, J.A. Bergstra, J.W. Klop and J.-J.Ch. Meyer. Linear Time and Branching Time Semantics for Recursion with Merge. Theoretical Computer Science 34 (1984), 135\u2013156.","journal-title":"Theoretical Computer Science"},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0304-3975(90)90060-U","volume":"75","author":"J.W. Bakker de","year":"1990","unstructured":"J.W. de Bakker and J.N. Kok. Comparative Metric Semantics for Concurrent Prolog. Theoretical Computer Science 75 (1990), 15\u201343.","journal-title":"Theoretical Computer Science"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog and J.I. Zucker. Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency: Overviews and Tutorials (J.W. de Bakker, W.P. de Roever and G. Rozenberg, eds.), Lecture Notes in Computer Science 224, Springer (1986), 51\u2013121.","DOI":"10.1007\/BFb0027040"},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90002-8","volume":"49","author":"J.W. Bakker de","year":"1987","unstructured":"J.W. de Bakker, J.-J.Ch. Meyer and E.-R. Olderog. Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theoretical Computer Science 49 (1987), 87\u2013112.","journal-title":"Theoretical Computer Science"},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/BF01941131","volume":"28","author":"J.W. Bakker de","year":"1988","unstructured":"J.W. de Bakker and J.-J.Ch. Meyer. Metric Semantics for Concurrency. BIT 28 (1988), 504\u2013529.","journal-title":"BIT"},{"key":"22_CR8","unstructured":"J.W. de Bakker and E.P. de Vink. CCS for OO and LP. This volume."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the Denotational Semantics of Concurrency. Information and Control 54 (1982), 70\u2013120.","journal-title":"Information and Control"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"G. Berry and L. Cosserat. The ESTEREL Synchronous Programming Language and its Semantics. Proceedings CMU Seminar on Concurrency (S.D. Brookes, A.W. Roscoe and G. Winksel, eds.), Lecture Notes in Computer Science 197, Springer (1985), 389\u2013448.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"22_CR11","volume-title":"Semantic Models for a Language with Timed Atomic Actions. Report IR-218","author":"F. Breugel van","year":"1990","unstructured":"F. van Breugel. Semantic Models for a Language with Timed Atomic Actions. Report IR-218, Vrije Universiteit, Amsterdam (1990)."},{"key":"22_CR12","volume-title":"Comparative Semantics for a Real-Time Programming Language with Integration. Report IR-239","author":"F. Breugel van","year":"1991","unstructured":"F. van Breugel. Comparative Semantics for a Real-Time Programming Language with Integration. Report IR-239, Vrije Universiteit, Amsterdam (1991)."},{"key":"22_CR13","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and M. Hennessy. Priorities in Process Algebra. Information and Computation 87 (1990), 58\u201377.","journal-title":"Information and Computation"},{"key":"22_CR14","series-title":"Technical Monograph","volume-title":"An Introduction to Timed CSP","author":"J.W. Davies","year":"1989","unstructured":"J.W. Davies and S.A. Schneider. An Introduction to Timed CSP. Technical Monograph PRG-75, Oxford University Computing Laboratory, Oxford (1989)."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"A. Goswami and M. Joseph. Semantics of Real-Time Distributed Programs. Proceedings International Conference on Concurrency (F.H. Vogt, ed.), Lecture Notes in Computer Science 335, Springer (1988), 292\u2013306.","DOI":"10.1007\/3-540-50403-6_46"},{"key":"22_CR16","first-page":"259","volume-title":"Specification and Verification of Real-Time Systems in ACP","author":"J.F. Groote","year":"1990","unstructured":"J.F. Groote. Specification and Verification of Real-Time Systems in ACP. Proceedings 10th International IFIP WG 6.1, Symposium on Protocol Specification, Testing and Verification, Ottawa (1990), 259\u2013270."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"J.F. Groote and F.W. Vaandrager. Structured Operational Semantics and Bisimulation as a Congruence. Proceedings 16th International Colloquium on Automata, Languages and Programming (G. Ausiello, M. Dezani-Ciancaglini and S. Ronchi Della Rocca, eds.), Lecture Notes in Computer Science 372, Springer (1989), 423\u2013438.","DOI":"10.1007\/BFb0035774"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"M. Hennessy and G.D. Plotkin. Full Abstraction for a Simple Parallel Programming Language. Proceedings 8th Mathematical Foundations of Computer Science (J. Be\u010dvar\u0159, ed.), Lecture Notes in Computer Science 74, Springer (1979), 108\u2013120.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"22_CR19","volume-title":"A Temporal Process Algebra. Report 2-90","author":"M. Hennessy","year":"1990","unstructured":"M. Hennessy and T. Regan. A Temporal Process Algebra. Report 2-90, University of Sussex, Brighton (1990)."},{"key":"22_CR20","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0304-3975(88)90142-9","volume":"59","author":"W.H. Hesselink","year":"1988","unstructured":"W.H. Hesselink. Interpretations of Recursion under Unbounded Non-Determinacy. Theoretical Computer Science 59 (1988), 211\u2013234.","journal-title":"Theoretical Computer Science"},{"key":"22_CR21","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International (1985)."},{"key":"22_CR22","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering 12 (1986), 890\u2013904.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR23","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90016-B","volume":"76","author":"J.N. Kok","year":"1990","unstructured":"J.N. Kok and J.J.M.M. Rutten. Contractions in Comparing Concurrency Semantics. Theoretical Computer Science 76 (1990), 179\u2013222.","journal-title":"Theoretical Computer Science"},{"key":"22_CR24","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/0890-5401(88)90020-X","volume":"79","author":"R. Koymans","year":"1988","unstructured":"R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth and S. Arun-Kumar. Compositional Semantics for Real-Time Distributed Computing. Information and Computation 79 (1988), 210\u2013256.","journal-title":"Information and Computation"},{"key":"22_CR25","first-page":"3","volume-title":"Mathematical Centre Tracts 109","author":"M. Nivat","year":"1979","unstructured":"M. Nivat. Infinite Words, Infinite Trees, Infinite Computations. Foundations of Computer Science (J.W. de Bakker and J. van Leeuwen, eds.), Mathematical Centre Tracts 109, Mathematical Centre, Amsterdam (1979), 3\u201352."},{"key":"22_CR26","unstructured":"G.M. Reed. A Hierarchy of Domains for Real-Time Distributed Computing. To appear in Proceedings Mathematical Foundations of Programming Languages and Semantics, Lecture Notes in Computer Science, Springer (1991)."},{"key":"22_CR27","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"G.M. Reed and A.W. Roscoe. A Timed Model for Communicating Sequential Processes. Theoretical Computer Science 58 (1988), 249\u2013261.","journal-title":"Theoretical Computer Science"},{"key":"22_CR28","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1137\/0219023","volume":"19","author":"J.J.M.M. Rutten","year":"1990","unstructured":"J.J.M.M. Rutten. Semantic Correctness for a Parallel Object-Oriented Language. SIAM Journal of Computation 19 (1990), 341\u2013383.","journal-title":"SIAM Journal of Computation"},{"key":"22_CR29","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/BFb0039077","volume":"458","author":"S.A. Smolka","year":"1990","unstructured":"S.A. Smolka and B. Steffen. Priority as Extremal Probability. Proceedings Conference on Theories of Concurrency: Unification and Extension (J.C.M. Baeten and J.W. Klop, eds.), Lecture Notes in Computer Science 458 (1990), 456\u2013466.","journal-title":"Lecture Notes in Computer Science"},{"key":"22_CR30","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J.A. Stankovic","year":"1988","unstructured":"J.A. Stankovic. A Serious Problem for Next-Generation Systems. Computer 21 (1988), 10\u201319.","journal-title":"Computer"},{"key":"22_CR31","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/359763.359798","volume":"20","author":"N. Wirth","year":"1977","unstructured":"N. Wirth. Towards a Discipline of Real-Time Programming. Communications of the ACM 20 (1977), 577\u2013583.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:50Z","timestamp":1605646310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}