{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T08:03:35Z","timestamp":1648541015847},"reference-count":21,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2001,10]]},"DOI":"10.1016\/s0020-0190(01)00215-0","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T13:55:05Z","timestamp":1034603705000},"page":"33-40","source":"Crossref","is-referenced-by-count":6,"title":["The cones and foci proof technique for timed transition systems"],"prefix":"10.1016","volume":"80","author":[{"given":"Mark B.","family":"van der Zwaag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0020-0190(01)00215-0_BIB001","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","article-title":"Real time process algebra","volume":"3","author":"Baeten","year":"1991","journal-title":"Formal Aspects Comput."},{"issue":"2","key":"10.1016\/S0020-0190(01)00215-0_BIB002","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF01214556","article-title":"Discrete time process algebra","volume":"8","author":"Baeten","year":"1996","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0020-0190(01)00215-0_BIB003","series-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","first-page":"535","article-title":"Discrete time process algebra with silent step","author":"Baeten","year":"2000"},{"issue":"1\u20133","key":"10.1016\/S0020-0190(01)00215-0_BIB004","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Inform. and Control"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB005","series-title":"Introduction to Process Algebra","author":"Fokkink","year":"2000"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB006","doi-asserted-by":"crossref","first-page":"329","DOI":"10.3233\/FI-1997-323407","article-title":"An axiomatization for regular processes in timed branching bisimulation","volume":"32","author":"Fokkink","year":"1997","journal-title":"Fund. Inform."},{"key":"10.1016\/S0020-0190(01)00215-0_BIB007","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/S0304-3975(96)00256-3","article-title":"Formal verification of a leader election protocol in process algebra","volume":"177","author":"Fredlund","year":"1997","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"10.1016\/S0020-0190(01)00215-0_BIB008","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"van Glabbeek","year":"1996","journal-title":"J. ACM"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB009","series-title":"The syntax and semantics of timed \u03bcCRL, Technical Report SEN-R9709","author":"Groote","year":"1997"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB010","series-title":"Proc. CONCUR'98","first-page":"629","article-title":"Checking verifications of protocols and distributed systems by computer","volume":"1466","author":"Groote","year":"1998"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB011","series-title":"Algebra of Communicating Processes'94","first-page":"26","article-title":"The syntax and semantics of \u03bcCRL","author":"Groote","year":"1995"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB012","series-title":"Completeness of timed \u03bcCRL, Technical Report SEN-R0034","author":"Groote","year":"2000"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB013","series-title":"Logic Group Preprint Series 142","article-title":"Focus points and convergent process operators. A proof strategy for protocol verification","author":"Groote","year":"1995"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB014","series-title":"Algebraic verification of a distributed summation algorithm, Technical Report CS-R9640","author":"Groote","year":"1996"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB015","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB016","series-title":"Proc. CONCUR'92","first-page":"421","article-title":"The silent step in time","volume":"630","author":"Klusener","year":"1992"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB017","series-title":"Models and axioms for a fragment of real time process algebra, PhD thesis","author":"Klusener","year":"1993"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB018","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0020-0190(01)00215-0_BIB019","series-title":"Proc. CONCUR'90","first-page":"401","article-title":"A temporal calculus of communicating systems","volume":"458","author":"Moller","year":"1990"},{"issue":"1\u20133","key":"10.1016\/S0020-0190(01)00215-0_BIB020","first-page":"249","article-title":"A timed model for communicating sequential processes","volume":"58","author":"Reed","year":"1998","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0020-0190(01)00215-0_BIB021","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/s001650050030","article-title":"The tree identify protocol of IEEE 1394 in \u03bcCRL","volume":"10","author":"Shankland","year":"1998","journal-title":"Formal Aspects Comput."}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019001002150?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019001002150?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T11:28:47Z","timestamp":1580210927000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019001002150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,10]]}},"alternative-id":["S0020019001002150"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(01)00215-0","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2001,10]]}}}