{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:21Z","timestamp":1725664641013},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:59Z","timestamp":1330297139000},"page":"383-399","source":"Crossref","is-referenced-by-count":8,"title":["Extending LOTOS with time: A true concurrency perspective"],"prefix":"10.1007","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"No.1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"Bolognesi, T. and E. Brinksma, \u201cIntroduction to the ISO Specification Language LOTOS\u201d, Computer Net. and ISDN Sys., Vol. 14, No. 1, pp 25\u201359, North-Holland, 1988.","journal-title":"Computer Net. and ISDN Sys."},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0920-5489(94)90002-7","volume":"16","author":"T. Bolognesi","year":"1994","unstructured":"Bolognesi, T., F. Lucidi., and S. Trigila \u201cConverging Towards a Timed LOTOS Standard.\u201d Computer Standards and Interfaces, vol. 16, pp 87\u2013118, 1994.","journal-title":"Computer Standards and Interfaces"},{"unstructured":"Bowman, H., G.S. Blair, L. Blair and A. Chetwynd. \u201cTime Versus Abstraction in Formal Description.\u201d FORTE'93, North-Holland, pp. 467\u2013482, 1993.","key":"26_CR3"},{"unstructured":"Bowman, H. and J. Derrick. \u201cA True Concurrency Semantics for Quality of Service Specification and Validation\u201d. MmNet 95, IEEE Computing Press, 1995.","key":"26_CR4"},{"unstructured":"Bowman, H. \u201cA True Concurrency Approach to Time Extended LOTOS (Revised Version)\u201d, Internal Report No. 17-96, University of Kent, 1996.","key":"26_CR5"},{"unstructured":"Coelho do Costa, R., J., and J.-P. Courtiat \u201cA True Concurrency Semantics for LOTOS.\u201d FORTE' 92, North-Holland, 1992.","key":"26_CR6"},{"unstructured":"Courtiat, J-P, and R.C. de Oliveria. \u201cRT-LOTOS and its Application to Multimedia Protocol Specification and Validation\u201d. MmNet 95, IEEE Computing Press, pp 30\u201347, 1995.","key":"26_CR7"},{"doi-asserted-by":"crossref","unstructured":"Davies, J. \u201cSpecification and Proof in Real-time CSP\u201d, Cambridge Univ. Press, 1993.","key":"26_CR8","DOI":"10.1017\/CBO9780511569760"},{"unstructured":"Fidge, C.J. \u201cA Constraint-Oriented Real-Time Process Calculus.\u201d FORTE' 92, 1992.","key":"26_CR9"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. \u201cCommunicating Sequential Processes\u201d, Prentice-Hall, 1985.","key":"26_CR10","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"ISO, \u201cLOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour\u201d, ISO \/IEC 8807, Geneva, 1988.","key":"26_CR11"},{"unstructured":"Katoen, J.-P. \u201cQuantitative and Qualitative Extensions of Event Structures\u201d PhD Thesis, University of Twente, CTIT PhD Thesis Series, 96\u201309, 1996.","key":"26_CR12"},{"unstructured":"ISO, \u201cTime Extended LOTOS\u201d, Draft: September 1995, source: Belgium and Spain, available at ftp:\/\/ftp.dit.upm.es\/pub\/lotos\/elotos\/working_docs.","key":"26_CR13"},{"unstructured":"Langerak, R. \u201cTransformations and Semantics for LOTOS.\u201d Ph.D. Thesis, University of Twente, 1992.","key":"26_CR14"},{"unstructured":"Leduc, G., and L. Leonard. \u201cA timed LOTOS supporting a dense time domain and including new timed operators.\u201d FORTE' 92, North-Holland, 1992.","key":"26_CR15"},{"unstructured":"Leonard, L., and G. Leduc, \u201cAn Enhanced Version of Timed LOTOS and its Application to a Case Study.\u201d FORTE' 93, North-Holland, 1993.","key":"26_CR16"},{"unstructured":"Miguel, C., A. Fernandez, and L. Vidaller. \u201cExtending LOTOS towards performance evaluation.\u201d FORTE' 92, 1992.","key":"26_CR17"},{"unstructured":"Milner, R. \u201cCommunication and Concurrency\u201d, Prentice-Hall, 1989.","key":"26_CR18"},{"key":"26_CR19","first-page":"526","volume":"600","author":"X. Nicollin","year":"1991","unstructured":"Nicollin, X. and J. Sifakis \u201cAn Overview and Synthesis on Timed Process Algebras.\u201d Real-Time: Theory in Practice, LNCS 600, pp 526\u2013548, 1991.","journal-title":"LNCS"},{"unstructured":"Quemada, J., D. Frutos, and A. Azcorra. \u201cTIC: A TImed Calculus\u201d, Tech. Rep. 28040, Unive.of Madrid. July 1991.","key":"26_CR20"},{"key":"26_CR21","volume-title":"Multimedia in Temporal LOTOS: A Lip Synchronisation Algorithm","author":"T. Regan","year":"1993","unstructured":"Regan, T. \u201cMultimedia in Temporal LOTOS: A Lip Synchronisation Algorithm.\u201d PSTV XIII, Liege, Belgium, 1993."},{"unstructured":"Schneider, S. \u201cTimewise Refinement for Communicating Processes\u201d, Science of Comp. Program.g, to appear, 1996.","key":"26_CR22"},{"doi-asserted-by":"crossref","unstructured":"Wang, Y., \u201cCCS + Time = an Interleaving Model for Real-time Systems\u201d, LNCS 510, Springer-Verlag, pp 217\u2013228, 1991.","key":"26_CR23","DOI":"10.1007\/3-540-54233-7_136"},{"key":"26_CR24","volume-title":"FDTs for Open Distributed Systems, a Retrospective and a Prospective View","author":"C.A. Vissers","year":"1990","unstructured":"Vissers, C.A., \u201cFDTs for Open Distributed Systems, a Retrospective and a Prospective View\u201d, PSTV X, North-Holland, 1990."},{"key":"26_CR25","first-page":"364","volume":"354","author":"G. Winskel","year":"1988","unstructured":"Winskel, G., \u201cAn Introduction to Event Structures\u201d, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1988, pp 364\u2013397.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:28:37Z","timestamp":1640950117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}