{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:51Z","timestamp":1725663591561},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:12:41Z","timestamp":1330254761000},"page":"274-287","source":"Crossref","is-referenced-by-count":5,"title":["Verification with real-time COSPAN"],"prefix":"10.1007","author":[{"given":"C.","family":"Courcoubetis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Chatzaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Tzounakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"S. Aggarwal, D. Barbara, and K. Z. Meth. Spanner \u2014 a tool for the specification, analysis, and evaluation of protocols. IEEE Trans. on Software Engineering, 1986.","DOI":"10.1109\/TSE.1987.232877"},{"key":"22_CR2","unstructured":"S. Aggarwal and C. Courcoubetis. Distributed implementation of a model of communication and computation. In Proceedings of the 18th Hawaii Intl. Conference on System Sciences, pages 206\u2013218, January 1985."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414\u2013425, Philadelphia, June 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for probabilistic real-time systems. In Proceedings of the 18th ICALP, pages 115\u2013126, Madrid, July 1991.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Verifying automata specifications of probabilistic real-time systems. In Proceedings of the REX Workshop, Plasmolen, June 1991.","DOI":"10.1007\/BFb0031986"},{"issue":"2","key":"22_CR6","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1145\/78942.78948","volume":"12","author":"S. Aggarwal","year":"1990","unstructured":"S. Aggarwal, C. Courcoubetis, and P. Wolper. Adding liveness properties to coupled finite-state machines. ACM Transactions on Programming Languages and Systems, 12(2):303\u2013339, 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Rajeev Alur and David Dill. Automata for Modeling Real-Time Systems. In Automata, Languages and Programming: 17th Annual Colloquium, volume 443 of Lecture Notes in Computer Science, pages 322\u2013335, 1990. Warwick University, July 16\u201320.","DOI":"10.1007\/BFb0032042"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"R. Alur and T. Henzinger. Real-time logics: complexity and expressiveness. In Proceedings of the 5th Symposium on Logic in Computer Science, Philadelphia, June 1990.","DOI":"10.21236\/ADA323441"},{"key":"22_CR9","unstructured":"S. Aggarwal and R.P. Kurshan. Modelling elapsed time in protocol specification. In H. Rudin and C.H. West, editors, Protocol Specification, Testing and Verification, III, pages 51\u201362. Elsevier Science Publisers B.V., 1983."},{"key":"22_CR10","unstructured":"S. Aggarwal, R. P. Kurshan, and K. K. Sabnani. A calculus for protocol specification and validation. In Protocol Specification, Testing and Verification, III. North-Holland, 1983."},{"key":"22_CR11","unstructured":"Rajeev Alur. Techniques for automatic verification of real-time systems. Technical Report STAN-CS-91-1378, Department of Computer Science, Stanford University, August 1991. Ph.D. Thesis."},{"key":"22_CR12","first-page":"41","volume-title":"Information Processing","author":"B. Berthomieu","year":"1983","unstructured":"B. Berthomieu and M. Menasche. An enumerative approach for analyzing time petri nets. In Information Processing, pages 41\u201346. Elsevier Scinece Publishers B.V. (North-Holland), 1983."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"J. R. Burch. Combining CTL, Trace Theory, and Timing Models. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 334\u2013348. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_28"},{"key":"22_CR14","unstructured":"Costas Courcoubetis, David L. Dill, and Panagiotis Tzounakis. Adding Dense Time Properties to Finite-State Machines: the Tool Cospan. Submitted to a journal."},{"key":"22_CR15","volume-title":"Lecture Notes in Computer Science","author":"D. Dill","year":"1989","unstructured":"D. Dill. Timing assumptions and verification of finite-state concurrent systems. In Proc. Workshop on Computer Aided Verification, Grenoble, June 1989. Lecture Notes in Computer Science, Springer-Verlag."},{"key":"22_CR16","unstructured":"B. Gopinath and B. Kurshan. The selection\/resolution model for coordinating concurrent processes. In AT&T Bell Laboratories Technical Report, 1980."},{"key":"22_CR17","volume-title":"Automatic verification of coordinating systems","author":"Z. Har'El","year":"1989","unstructured":"Z. Har'El and R. Kurshan. Automatic verification of coordinating systems. In Proceedings of Workshop on Automatic Verification Methods for Finite-State Systems, Grenoble, June 1989. Springer Verlag."},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, D. Pilaud, F. Ouabodessalam, and A-C. Glory. Specifying, programming and verifying real-time systems using a synchronous declarative language. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_18"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"F. Jahanian and A. K-L. Mok. Safety analysis of timing properties in realtime systems. IEEE Transactions on Software Engineering, 12(9), September 1986.","DOI":"10.1109\/TSE.1986.6313045"},{"key":"22_CR20","unstructured":"J. Katzenelson and B. Kurshan. S\/R: A language for specifying protocols and other coordinating processes. In Proc. 5th Ann. Int'l Phoenix Conf. Comput. Commun., IEEE, 1986."},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"R. Kurshan. Analysis of discrete event coordination. Lecture Notes in Computer Science, 480, 1990.","DOI":"10.1007\/3-540-52559-9_74"},{"key":"22_CR22","unstructured":"H. R. Lewis. Finite-state analysis of asynchronous circuits with bounded temporal uncertainty. Technical Report TR-15-89, Aiken Computation Laboratory, Harvard University, July 1989."},{"key":"22_CR23","unstructured":"J. Ostroff. Temporal Logic of Real-Time Systems. Research Studies Press, 1990."},{"key":"22_CR24","unstructured":"R. P Kurshan Z. Har'El. Software for analytical development of communication protocols. AT&T Technical Journal, 1990."}],"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_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:02Z","timestamp":1605647042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56496-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564966","9783540475729"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-56496-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}