{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:44Z","timestamp":1725664244249},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600848"},{"type":"electronic","value":"9783540494256"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60084-1_103","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:39:38Z","timestamp":1330277978000},"page":"535-546","source":"Crossref","is-referenced-by-count":1,"title":["Automatic synthesis of real time systems"],"prefix":"10.1007","author":[{"given":"J\u00d8rgen H.","family":"Andersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K\u00e5re J.","family":"Kristoffersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesper","family":"Niedermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for Real-Time Systems. In Proceedings of Logic in Computer Science, pages 414\u2013425. IEEE Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"issue":"2","key":"46_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2): 183\u2013236, April 1994.","journal-title":"Theoretical Computer Science"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and T. A. Henzinger. A Really Temporal Logic. In Proceeding of IEEE Symp. on Foundations of Computer Science, Foundations of Computer Science, 1989.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"46_CR4","volume-title":"volume 663 of Lecture Notes in Computer Science, Springer Verlag","author":"K. Cerans","year":"1992","unstructured":"Karlis Cerans. Decidability of bisimulation equivalences for parallel timer processes. In Proceedings of CAV'92, volume 663 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1992. Springer Verlag."},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"K. Cerans, J. C. Godskesen, and K. G. Larsen. Timed modal specifications \u2014 theory and tools. In Proceedings of 5th International Conference on Computer Aided Verification, volume 697 of Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-56922-7_21"},{"key":"46_CR6","unstructured":"J. C. Godskesen. Timed Modal Specifications \u2014 A theory for verification of real-time concurrent systems. PhD thesis, Aalborg University, 1994."},{"key":"46_CR7","unstructured":"G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen and Co., 1968."},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"H. H\u00fcttel and K. G. Larsen. The Use of Static Constructs in a Modal Process Logic. In Logic at Botik'89., volume 363 of Lecture Notes in Computer Science, 1989.","DOI":"10.1007\/3-540-51237-3_14"},{"key":"46_CR9","volume-title":"volume 575 of Lecture Notes in Computer Science","author":"U. Holmer","year":"1992","unstructured":"U. Holmer, K.G. Larsen, and W. Yi. Decidability of bisimulation equivalence between regular timed processes. In Proceedings of CAV'91, volume 575 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1992."},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery, pages 137\u2013161, 1985.","DOI":"10.1145\/2455.2460"},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, Z. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Logic in Computer Science, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"O.H. Jensen, J.T. Lang, C. Jeppesen, and K.G. Larsen. Model construction for implicit specifications in modal logic. In Proceedings of 4th International Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, 1993.","DOI":"10.1007\/3-540-57208-2_18"},{"key":"46_CR13","unstructured":"P. Lewis and H. Qin. Factorization of finite state machines under observational equivalence. Lecture Notes in Computer Science, Springer Verlag, 458, 1990."},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and A. Skou. Compositional verification of probabilistic processes. In Proceedings of CONCUR'92. To appear in Lecture Notes in Computer Science., 1992.","DOI":"10.1007\/BFb0084809"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"K. G. Larsen and L. Xinxin. Equation Solving Using Modal Transition systems. In Proceedings of Logic in Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113738"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. In proceedings of ICALP'90, volume 443 of Lecture Notes in Computer Science, 1990.","DOI":"10.1007\/BFb0032056"},{"issue":"6","key":"46_CR17","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1093\/logcom\/1.6.761","volume":"1","author":"K.G. Larsen","year":"1991","unstructured":"K.G. Larsen and L. Xinxin. Compositionality through an operational semantics of contexts. Journal of Logic and Computation, 1(6):761\u2013795, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"46_CR18","doi-asserted-by":"crossref","unstructured":"K. G. Larsen and W. Yi. Time Abstracted Bisimulation: Implicit Specifications and Decidability. In Proceedings of MFPS, 1993.","DOI":"10.1007\/3-540-58027-1_8"},{"key":"46_CR19","unstructured":"X. Nicollin, J. L. Richierand, J.Sifakis, and J. Voiron. ATP: an algebra for timed processes,. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, IFIP, 1990."},{"key":"46_CR20","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to Timed Graphs and Hybrid Systems. volume 600 of Lecture Notes in Computer Science, 1991. In Real-Time: Theory in Practice.","DOI":"10.1007\/BFb0032007"},{"key":"46_CR21","doi-asserted-by":"crossref","unstructured":"J. Parrow. Submodule construction as equation solving in CCS. Theoretical Computer Science, 68, 1989.","DOI":"10.1016\/0304-3975(89)90128-X"},{"key":"46_CR22","volume-title":"Technical Report SE\/079\/1","author":"M.W. Shields","year":"1986","unstructured":"M.W. Shields. A note on the simple interface equation. Technical Report SE\/079\/1, University of Kent at Canterbury, Electronic Engineering Laboratories University, June 1986."},{"key":"46_CR23","unstructured":"W. Yi. Real-Time Behaviour of Asynchronous Agents. In Theories of Concurrency: Unification and Extension, volume 458 of Lecture Notes in Computer Science, 1990."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60084-1_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:59Z","timestamp":1605648539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60084-1_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600848","9783540494256"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-60084-1_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}