{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,22]],"date-time":"2024-07-22T07:19:49Z","timestamp":1721632789484},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1993,5]]},"abstract":"Abstract<\/jats:title>\n TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.<\/jats:p>","DOI":"10.1007\/bf01211556","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T19:40:57Z","timestamp":1109360457000},"page":"224-252","source":"Crossref","is-referenced-by-count":24,"title":["TIC: A timed calculus"],"prefix":"10.1145","volume":"5","author":[{"given":"Juan","family":"Quemada","sequence":"first","affiliation":[{"name":"Departmento Ingenier\u00eda Telem\u00e1tica, ETSI Telecomunicaci\u00f3n, Universidad Polit\u00e9cnica de Madrid, 28040, Madrid, Spain"}]},{"given":"David","family":"de Frutos","sequence":"additional","affiliation":[{"name":"Dpto. Inform\u00e1tica y Autom\u00e1tica, Fac. Ciencias Matem\u00e1ticas, Universidad Complutense, Madrid, Spain"}]},{"given":"Arturo","family":"Azcorra","sequence":"additional","affiliation":[{"name":"Departmento Ingenier\u00eda Telem\u00e1tica, ETSI Telecomunicaci\u00f3n, Universidad Polit\u00e9cnica de Madrid, 28040, Madrid, Spain"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","first-page":"225","article-title":"Algebre de Processus et Synchronisation","volume":"53","author":"Austry D.","year":"1987","journal-title":"J TCS"},{"key":"e_1_2_1_2_2_2","unstructured":"Azcorra A.: Modelado Formal de Sistemas Sincronos . PhD thesis Escuela Tecnica Superior de Ingenieros de Telecomunicacion Universidad Politecnica de Madrid 1989."},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Bolognesi T. and Lucidi F.: LOTOS-like Process Algebras with Urgent or Timed Interactions. In FORTE'91: Formal Techniques IV Sidney November 1991.","DOI":"10.1016\/B978-0-444-89402-1.50027-8"},{"key":"e_1_2_1_2_6_2","unstructured":"Bolognesi T. Lucidi F. and Trigila S.: From Timed Petri Nets to Timed LOTOS. In L. Logrippo R. Probert and H. Ural editors Tenth International IFIP Symposium on Protocol Specification Testing and Verification pages 377\u2013406. North-Holland June 1990."},{"key":"e_1_2_1_2_7_2","unstructured":"Bolognesi T. and Rudin H.: On the Analisys of Time-Dependent Protocols by Network Flow Algorithms. In Fifth International Workshop on Protocol Specification Testing and Verification New York June 1985."},{"key":"e_1_2_1_2_8_2","unstructured":"Brinksma E. Scollo G. and Steenbergen C.: LOTOS Specifications their Implementation and their Tests. In Sixth International Workshop on Protocol Specification Testing and Verification Montreal June 1986."},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"Gerth R. and Boucher A.: A timed Failures Model for Extended Communicating Processes volume LNCS. ICALP 87 1987.","DOI":"10.1007\/3-540-18088-5_9"},{"key":"e_1_2_1_2_11_2","unstructured":"Hoare C.A.R.: Communicating Sequential Processes . Prentice-Hall Int. 1985."},{"key":"e_1_2_1_2_12_2","unstructured":"Hennessy M. and Regan T.: A Temporal Process Algebra. In FORTE'90: Formal Techniques III Madrid November 1990."},{"key":"e_1_2_1_2_13_2","unstructured":"ISO. LOTOS a Formal Description Technique based on the Temporal Ordering of Observational Behaviour. IS 8807 TC97\/SC21 1988."},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Koymans R. et al.: Compositional Semantics for Real Time Distributed Computing. In Conference on Logics of Programs . Springer Verlag 1985.","DOI":"10.1007\/3-540-15648-8_14"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Leveson N.G. and Stolzy J.L.: Safety analysis using Petri nets. IEEE Transactions on Software Engineering 13(3) 1987.","DOI":"10.1109\/TSE.1987.233170"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of Communication Protocols \u2014 Implication of a theoretical Study","volume":"24","author":"Merlin P. M.","year":"1976","journal-title":"IEEE Trans, on Com."},{"key":"e_1_2_1_2_17_2","unstructured":"Nieto C. M.: Tecnicas de descripcion Formal aplicadas la Evaluacion de Prestaciones de Sistemas de Comunicacion . PhD thesis Escuela Tecnica Superior de Ingenieros de Telecomunicacion Universidad Politecnica de Madrid 1991."},{"key":"e_1_2_1_2_18_2","volume-title":"Number 92 in Lecture Notes in Computer Science","author":"Milner R.","year":"1980"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"issue":"2","key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","article-title":"CIRCAL and the Representation of Communication, Concurrency and Time","volume":"7","author":"Milne G.","year":"1985","journal-title":"ACM, TOPLAS"},{"key":"e_1_2_1_2_21_2","volume-title":"Lecture Notes in Computer Science","author":"Moller F.","year":"1990"},{"key":"e_1_2_1_2_22_2","unstructured":"Nicollin X. Ritchier J. L. Sifakis J. and Voiron J.: ATP: An Algebra for Timed Processes. In TC2 Working Conference on Programming Concepts and Methods . North Holland 1990."},{"key":"e_1_2_1_2_23_2","unstructured":"Ortega Y. and de Frutos D.: Timed Observations: A semantic Model for Real-Time Concurrency. In TC2 Working Conference on Programming Concepts and Methods . North Holland 1990."},{"key":"e_1_2_1_2_24_2","unstructured":"Ortega Y. and de Frutos D.: A Complete Proof System for Timed Observations. In TAPSOFT'91 (CAAP'91) . LNCS 493 Springer Verlag 1991."},{"key":"e_1_2_1_2_25_2","unstructured":"Park D.: Concurrency and Automata on Infinite Sequences volume 104 of LNCS . Springer-Verlag 1981."},{"key":"e_1_2_1_2_26_2","unstructured":"Quemada J. Azcorra A. and de Frutos D.: A Timed Calculus for LOTOS. In FORTE'89: Formal Techniques II Vancouver December 1989."},{"key":"e_1_2_1_2_27_2","unstructured":"Quemada J. and Fernandez A.: Introduction of Quantitative Relative Time into LOTOS. In IFIP workshop on Protocol Specification Testing and Verification: VII Zurich May 5 1987."},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Quemada J. Pavon S. and Fernandez A.: State Exploration by Transformation with LOLA. In Workshop on Automatic Verification Methods for Finite State Systems Grenoble June 1989.","DOI":"10.1007\/3-540-52148-8_25"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Reed G. M. and Roscoe A. W.: A timed model for communicating sequential processes. In ICALP 86 volume LNCS 226. Springer Verlag 1986.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"crossref","unstructured":"Reed G. M. and Roscoe A. W.: Metric Spaces as Models for Real-Time Concurrency . Springer Verlag 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"e_1_2_1_2_31_2","unstructured":"Tofts C.: Temporal Ordering for Concurrency. Technical report University of Edinburgh April 1988."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211556.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211556\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:21:52Z","timestamp":1641482512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["10.1007\/BF01211556"],"URL":"https:\/\/doi.org\/10.1007\/bf01211556","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}