{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:52Z","timestamp":1725663592556},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564966"},{"type":"electronic","value":"9783540475729"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56496-9_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:12:46Z","timestamp":1330254766000},"page":"288-301","source":"Crossref","is-referenced-by-count":0,"title":["Model-checking for real-time systems specified in Lotos"],"prefix":"10.1007","author":[{"given":"N.","family":"Rico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Bochmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"unstructured":"Alur, R., Courcoubetis, C. and Dill, D., \u201dModel-checking for real-time systems\u201d, Proc. of 5th IEEE Symp. on Logic in Computer Science, June 90.","key":"23_CR1"},{"doi-asserted-by":"crossref","unstructured":"Aspvall, B and Shiloach, \u201dA polynomial time algorithm for solving systems of inequalities with two variables per inequality\u201d, in Proc. 20th Annu. Symp. Foundations of Computer Sciences, Oct. 1979, pp.205\u2013217.","key":"23_CR2","DOI":"10.1109\/SFCS.1979.1"},{"doi-asserted-by":"crossref","unstructured":"Bergstra, J.A. and Klop, J.W., \u201dProcess Algebra for Synchronous Communication\u201d, Information and Control, 60 (1\u20133), 1984.","key":"23_CR3","DOI":"10.1016\/S0019-9958(84)80025-X"},{"issue":"3","key":"23_CR4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B. and Diaz, M., \u201dModeling and Verification of Time Dependent Systems Using Time Petri Nets\u201d, IEEE Trans. on SE, 17, 3, March 1991, pp. 259\u2013273.","journal-title":"IEEE Trans. on SE"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T. and Brinskma, E., \u201dIntroduction to the ISO specification language LOTOS\u201d, Computer Networks and ISDN Systems, 14, 1, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"unstructured":"Bolognesi, T., Lucidi, F. and Trigila, S., \u201dFrom Timed Petri Nets to Timed LOTOS\u201d, Proceedings of 10th IFIP WG6.1 PSTV, June 1990.","key":"23_CR6"},{"unstructured":"Bolognesi, T. and Lucidi F., \u201dLOTOS-like process algebras with urgent or timed interactions\u201d, FORTE 90, 1990.","key":"23_CR7"},{"issue":"1","key":"23_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1987","unstructured":"Budkowski, S. and Dembinski, P., \u201dAn introduction to Estelle: a specification language for distributed systems\u201d, Computer Networks and ISDN Systems, 14, 1, 1987, pp.3\u201323.","journal-title":"Computer Networks and ISDN Systems"},{"doi-asserted-by":"crossref","unstructured":"Clarke, E., Emerson, E. and Sistla, A., \u201dAutomatic verification of finite-state concurrent systems using temporal logic specifications: A practical approach\u201d, in Proc. 10th ACM Symp. on Principles of Programming Languages, pp.117\u2013126, 1983.","key":"23_CR9","DOI":"10.1145\/567067.567080"},{"doi-asserted-by":"crossref","unstructured":"Ehrig, H. and Mahr, B., \u201dFundamentals of Algebraic Specification 1\u201d, Springer Verlag, 1985.","key":"23_CR10","DOI":"10.1007\/978-3-642-69962-7"},{"unstructured":"Emerson, E.A., Mok, A.K., Sistla, A.P. and Srinivasan, J., \u201dQuantitative temporal reasoning\u201d, in Proceedings of workshop on Automatic Verif. Methods for Finite State Systems, June 1989.","key":"23_CR11"},{"unstructured":"Hansson, H., \u201dTime and Probability in Formal Design of Distributed Systems\u201d, Ph.D. Thesis, Uppsala University, September 1991.","key":"23_CR12"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C., \u201dCommunicating sequential processes\u201d, Prentice Hall, 1985.","key":"23_CR13","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"van Hulzen, W., Tilanus, P., Zuidweg, H., \u201dLOTOS extended with clocks\u201d, Proceedings of FORTE'89, Noth-Holland 1990.","key":"23_CR14"},{"unstructured":"Lewis, H.R., \u201dA logic of concrete time intervals\u201d, 5th IEEE Symnposium on Logic in Computer Science, June 1990.","key":"23_CR15"},{"unstructured":"ISO\/TC97\/SC21, \u201dLOTOS: A Formal Description Technique based on the temporal ordering of observational behavior\u201d, Tech. Report IS8807, 1989.","key":"23_CR16"},{"key":"23_CR17","first-page":"6","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P. and Farber, D., \u201dRecoverability of communication protocols-Implication of a theoretical study\u201d, IEEE Trans. on Comm.,24,6, Sept.1976.","journal-title":"IEEE Trans. on Comm."},{"doi-asserted-by":"crossref","unstructured":"Milner, R., \u201dA Calculus of Communicating Systems\u201d, LNCS 92, Springer Verlag, 1980, 171p.","key":"23_CR18","DOI":"10.1007\/3-540-10235-3"},{"doi-asserted-by":"crossref","unstructured":"Nicollin, X. and Sifakis, J., \u201dAn overview and synthesis on timed process algebras\u201d, CAV'91, Aalborg, Denmark, July 1991.","key":"23_CR19","DOI":"10.1007\/BFb0032006"},{"unstructured":"Quemada, J., Azcorra, A. and Frutos, D., \u201dA Timed Calculus for LOTOS\u201d, Proceedings of FORTE'89, Vancouver, June 1989.","key":"23_CR20"},{"unstructured":"Rico, N., and Bochmann, G.v., \u201dPerformance description and analysis for distributed systems using a variant of Lotos\u201d, Proceedings 11th PSTV,1991.","key":"23_CR21"},{"unstructured":"Rico, N., and Bochmann, G.v., \u201dTime Interval Lotos\u201d, Technical Report, University of Montreal, 1992.","key":"23_CR22"},{"unstructured":"CCITT SG XI, Recommendation Z.100 (1987).","key":"23_CR23"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56496-9_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:48:23Z","timestamp":1640926103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56496-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564966","9783540475729"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-56496-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}