{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:36:35Z","timestamp":1725636995766},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198543"},{"type":"electronic","value":"9781447132295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3229-5_8","type":"book-chapter","created":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T05:07:19Z","timestamp":1322284039000},"page":"135-151","source":"Crossref","is-referenced-by-count":0,"title":["Loose Real-Time Communicating Agents"],"prefix":"10.1007","author":[{"given":"Hans","family":"Toetenel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"JCM Baeten","year":"1991","unstructured":"J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Formal Aspects of Computing, 3: 142\u2013188, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"8_CR2","volume-title":"Formal Specification & Software Development","author":"D Bjorner","year":"1982","unstructured":"D. Bjorner and C.B. Jones. Formal Specification & Software Development. PHI. Prentice Hall, 1982."},{"key":"8_CR3","volume-title":"University of Edinburgh","author":"L Chen","year":"1990","unstructured":"L. Chen, S. Anderson, and F. Moller. A Timed Calculus of Communicating Systems. Technical Report LFCS-90\u2013127, University of Edinburgh, 1990."},{"key":"8_CR4","volume-title":"J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of LNCS, pages 53-72. Springer Verlag","author":"M Daniels","year":"1992","unstructured":"M. Daniels. Modelling Real-Time Behaviour wih an Interval Time Calculus. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of LNCS, pages 53\u201372. Springer Verlag, 1992."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"J. Dawes. The VDM-SL Reference Guide. Pitman, 1991.","DOI":"10.1201\/9781482267419"},{"key":"8_CR6","volume-title":"2nd Nordic Workshop on Program Correctness","author":"H Hansson","year":"1990","unstructured":"H. Hansson and B. Jonsson. A Calculus for Communicating Systems with Time and Probabilities. In Larsen K.G. and A. Skou, editors, 2nd Nordic Workshop on Program Correctness. The University of Aalborg, October 1990."},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M Hennessy","year":"1985","unstructured":"M. Hennessy. Acceptance Trees. Journal of the ACM, 32 (4): 896\u2013928, October 1985.","journal-title":"Journal of the ACM"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BFb0039048","volume-title":"CONCUR\u201990: Theories of Concurrency: Unification and Extension, volume 458 of LNCS","author":"M Hennessy","year":"1990","unstructured":"M. Hennessy. Value-passing in process algebras (abstract). In J.C.M. Baeten and J.W. Klop, editors, CONCUR\u201990: Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 31\u201332, Amsterdam, The Netherlands., August 1990. Springer Verlag."},{"issue":"4","key":"8_CR9","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/BF01642508","volume":"3","author":"M Hennessy","year":"1991","unstructured":"M. Hennessy. A Proof System for Communicating Processes with Value-Passing. Formal Aspects of Computing, Springer Verlag, 3 (4): 346\u2013366, 1991.","journal-title":"Formal Aspects of Computing, Springer Verlag"},{"key":"8_CR10","volume-title":"and Y Wang. Deciding Properties for Regular Real-Time Timed Processes. Technical report, Draft Article","author":"U Holmer","year":"1991","unstructured":"U. Holmer, K. Larsen, and Y Wang. Deciding Properties for Regular Real-Time Timed Processes. Technical report, Draft Article, University of G\u00f6teborg (S ), Chalmers (S) and Aalborg (DK ), April 1991."},{"key":"8_CR11","unstructured":"ISO SC22\/WG19. VDM Specification Language \u2014 Proto-Standard, 1991. Draft dated 9th March."},{"key":"8_CR12","volume-title":"Systematic Software Development Using VDM, 2-nd edition","author":"CB Jones","year":"1990","unstructured":"C.B. Jones. Systematic Software Development Using VDM, 2-nd edition. PHI. Prentice Hall, 1990."},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R Milner","year":"1983","unstructured":"R. Milner. Calculi for Synchrony and Asynchrony. TCS, 25: 267\u2013310, 1983.","journal-title":"TCS"},{"key":"8_CR14","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. PHI. Prentice Hall, 1989."},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"CONCUR\u201990: Theories of Concurrency: Unification and Extension, volume 458 of LNCS","author":"F Moller","year":"1990","unstructured":"F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems. In J.C.M. Baeten and J.W. Klop, editors, CONCUR\u201990: Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 401\u2013415, Amsterdam, The Netherlands., August 1990. Springer Verlag."},{"key":"8_CR16","volume-title":"Proceedings of the Ada-Europe\u201992 conference","author":"A Ottens","year":"1992","unstructured":"A. Ottens and W.J. Toetenel. Simulation of Mosca Specifications in Ada. In J. van Katwijk, editor, Proceedings of the Ada-Europe\u201992 conference, LNCS. Springer Verlag, 1992."},{"key":"8_CR17","volume-title":"J. van Leeuwen, editor, Computing Science in the Netherlands, proceedings, part II. SION","author":"WJ Toetenel","year":"1991","unstructured":"W.J. Toetenel. Model-Oriented Specification of Communicating Agents. In J. van Leeuwen, editor, Computing Science in the Netherlands, proceedings, part II. SION, 1991."},{"key":"8_CR18","unstructured":"W.J. Toetenel. Model Oriented Specification of Communicating Agents. PhD thesis, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1992."},{"key":"8_CR19","volume-title":"Proceedings of the 18th workshop of IFIP\/IFAC WRTP\u201992Brugge","author":"WJ Toetenel","year":"1992","unstructured":"W.J. Toetenel. VDM + CCS + TIME = MOSCA. In Proceedings of the 18th workshop of IFIP\/IFAC WRTP\u201992. Brugge, 1992."},{"key":"8_CR20","volume-title":"2nd Nordic Workshop on Program Correctness","author":"Y Wang","year":"1990","unstructured":"Y. Wang. An Interleaving Model for Real Time Systems. In K.G. Larsen and A. Skou, editors, 2nd Nordic Workshop on Program Correctness. The University of Aalborg, October 1990."},{"key":"8_CR21","volume-title":"J.C.M. Baeten and J.W. Klop, editors, CONCUR\u201990 Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 502-520. Springer Verlag","author":"Y Wang","year":"1990","unstructured":"Y. Wang. Real-Time Behaviour of Asynchronous Agents. In J.C.M. Baeten and J.W. Klop, editors, CONCUR\u201990 Theories of Concurrency: Unification and Extension, volume 458 of LNCS, pages 502\u2013520. Springer Verlag, 1990."}],"container-title":["Workshops in Computing","Semantics of Specification Languages (SoSL)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3229-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,18]],"date-time":"2021-12-18T01:15:21Z","timestamp":1639790121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3229-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198543","9781447132295"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3229-5_8","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}