{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:16Z","timestamp":1725664456233},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_224","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:12:53Z","timestamp":1330276373000},"page":"620-635","source":"Crossref","is-referenced-by-count":1,"title":["Describing a Signal Analyzer in the process algebra PMC \u2014 A case study"],"prefix":"10.1007","author":[{"given":"Henrik Reif","family":"Andersen","sequence":"first","affiliation":[]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto and D. Murphy. On the ill-timed but well-caused. In E. Best, editor, Proc. Concur'93, pages 97\u2013111. Springer LNCS 715, 1993.","DOI":"10.1007\/3-540-57208-2_8"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In de Bakker et al. [11], pages 45\u201373.","DOI":"10.1007\/BFb0031987"},{"key":"41_CR3","unstructured":"H. R. Andersen and M. Mendler. A complete axiomatization of observation congruence in PMC. Technical Report ID-TR:1993-126, Department of Computer Science, Technical University of Denmark, December 1993."},{"key":"41_CR4","unstructured":"H. R. Andersen and M. Mendler. A process algebra with multiple clocks. Technical Report ID-TR:1993-122, Department of Computer Science, Technical University of Denmark, August 1993."},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"H. R. Andersen and M. Mendler. An asynchronous process algebra with multiple clocks. In D. Sannella, editor, Programming Languages and Systems \u2014 ESOP'94, pages 58\u201373. Springer, LNCS 788, 1994.","DOI":"10.1007\/3-540-57880-3_4"},{"key":"41_CR6","unstructured":"J.C.M. Baeten and J.W. Klop, editors. Proceedings of CONCUR '90, volume 458 of LNCS. Springer-Verlag, 1990."},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"G. Berry and L. Cosserat. The esterel synchronous programming language and its mathematical semantics. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, pages 389\u2013448. Springer LNCS 197, 1984.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh, and R.K. Shyamasundar. Communicating reactive processes. In Principles of Programming Languages POPL'93, pages 85\u201398. ACM, 1993.","DOI":"10.1145\/158511.158526"},{"key":"41_CR9","unstructured":"Br\u00fcel & Kj\u00e6r. Vehicle Signal Analyzer Type 2145, User Manual Vol. 1, April 1994."},{"issue":"5","key":"41_CR10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice, volume 600 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031984"},{"key":"41_CR12","volume-title":"Workshop on automatic verification methods for finite state systems","author":"N. Halbwachs","year":"1989","unstructured":"N. Halbwachs, D. Pilaud, F. Ouabdesselam, and A.-C. Glory. Specifying, programming and verifying real-time systems using a synchronous declarative language. In Workshop on automatic verification methods for finite state systems, Grenoble, France, June 12\u201314 1989. Springer LNCS 407."},{"key":"41_CR13","unstructured":"M. Hennessy and H. Lin. Symbolic bisimulations. Technical Report 1\/92, University of Sussex, April 1992."},{"key":"41_CR14","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Computer Science Technical Report 91:05, Department of Computer Science, University of Sussex, April 1991. To appear in Information and Computation."},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Jozef Hooman. Specification and Compositional Verification of Real-Time Systems. Number 558 in Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"41_CR16","unstructured":"Chen Liang. An interleaving model for real-time systems. Technical Report ECS-LFCS-91-184, Laboratory for Foundations of Computer Science, University of Edinburgh, November 1991."},{"key":"41_CR17","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT press, 1990."},{"key":"41_CR18","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobile processes. Technical Report SICS\/R-91\/03-SE, Swedish Institute of Computer Science, 1991.","DOI":"10.1007\/3-540-54430-5_80"},{"key":"41_CR20","doi-asserted-by":"crossref","unstructured":"Faron Moller and Chris Tofts. A temporal calculus of communicating systems. In Baeten and Klop [6], pages 401\u2013415.","DOI":"10.1007\/BFb0039073"},{"key":"41_CR21","unstructured":"X. Nicollin and J. Sifakis. The algebra of timed processes ATP: theory and application. Technical Report RT-C26, LGI-IMAG, Grenoble, France, December 1990."},{"key":"41_CR22","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In de Bakker et al. [11], pages 526\u2013548.","DOI":"10.1007\/BFb0032006"},{"key":"41_CR23","doi-asserted-by":"crossref","unstructured":"G. Reed and A. Roscoe. A timed model for communicating sequential processes. In Laurent Kott, editor, Proceedings of the 13'th ICALP, pages 314\u2013323. Springer, LNCS 226, 1986.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"41_CR24","unstructured":"S. Schneider, J. Davies, D.M. Jackson, G.M. Reed, J.N. Reed, and A.W. Roscoe. Timed CSP: Theory and practice. In de Bakker et al. [11], pages 526\u2013548."},{"key":"41_CR25","doi-asserted-by":"crossref","unstructured":"Yi Wang. Real-time behaviour of asynchronous agents. In Baeten and Klop [6].","DOI":"10.1007\/BFb0039080"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_224.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:39Z","timestamp":1605648399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_224","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}