{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:51Z","timestamp":1761611151557},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1993,11,1]],"date-time":"1993-11-01T00:00:00Z","timestamp":752112000000},"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,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The theory of timed Communicating Sequential Processes is a mathematical approach to the design and analysis of timed distributed systems. This paper extends the language of timed CSP to include a general treatment of recursion. A semantics for mutual recursion is introduced, together with a sufficient condition for the necessary fixpoint to be unique. The resulting language has the familiar unwinding property of process algebra, and exhibits a number of useful algebraic identities. A theory of recursion induction is formulated, and a simple example is presented to illustrate its use.<\/jats:p>","DOI":"10.1007\/bf01211248","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T18:33:50Z","timestamp":1109356430000},"page":"530-553","source":"Crossref","is-referenced-by-count":13,"title":["Recursion induction for real-time processes"],"prefix":"10.1145","volume":"5","author":[{"given":"Jim","family":"Davies","sequence":"first","affiliation":[{"name":"Programming Research Group, Oxford University, 11 Keble Road, OX1 3QD, Oxford, UK"}]},{"given":"Steve","family":"Schneider","sequence":"additional","affiliation":[{"name":"Programming Research Group, Oxford University, 11 Keble Road, OX1 3QD, Oxford, UK"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898401"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Baeten J. C. M. Bergstra J. A. and Klop J. W.: On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science 51 (1987).","DOI":"10.1016\/0304-3975(87)90052-1"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Barringer H. Kuiper R. and Pnueli A.: A really abstract concurrent model and its temporal logic. Proceedings of the 13th ACM Symposium on the Principles of Programming Languages 1985.","DOI":"10.1145\/512644.512660"},{"key":"e_1_2_1_2_4_2","unstructured":"Brinksma E.: On the uniqueness of fixpoints modulo observation congruence. Proceedings of CONCUR 92 Springer LNCS 630 1992."},{"key":"e_1_2_1_2_5_2","unstructured":"Davies J. W. and Schneider S. A.: Factorising proofs in timed CSP. Proceedings of the Fifth Conference on the Mathematical Foundations of Programming Semantics Springer LNCS 439 1989."},{"key":"e_1_2_1_2_6_2","unstructured":"Davies J. W.: Specification and proof in real-time systems . Programming Research Group Technical Monograph PRG-93 Oxford University 1991."},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Enderton H. B.: Elements of Set Theory . Academic Press 1977.","DOI":"10.1016\/S0049-237X(08)71114-5"},{"key":"e_1_2_1_2_8_2","unstructured":"Hennessy M. and Regan T.: A Temporal Process Algebra . Technical Report 2-90 University of Sussex 1990."},{"key":"e_1_2_1_2_9_2","unstructured":"Hoare C. A. R.: Communicating Sequential Processes . Prentice-Hall International 1985."},{"key":"e_1_2_1_2_10_2","unstructured":"Moller F. and Tofts C.: A temporal calculus of communicating systems. Proceedings of CONCUR 90 Springer LNCS 458 1990."},{"key":"e_1_2_1_2_11_2","unstructured":"Nicollin X. Richier J.-L. Sifakis J. and Voiron J.: ATP: an algebra for timed processes. Proceedings of the IFIP Working Conference on Programming Concepts and Methods 1990."},{"key":"e_1_2_1_2_12_2","unstructured":"Reed G. M.: A uniform mathematical theory for real-time distributed computing . Oxford University D.Phil thesis 1988."},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Reed G. M. and Roscoe A. W.: A timed model for communicating sequential processes. Proceedings of ICALP'86 Springer LNCS 226 314\u2013323 1986 Theoretical Computer Science 58; 249\u2013261 (1988).","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"e_1_2_1_2_14_2","unstructured":"Roscoe A. W.: A mathematical theory of communicating processes . Oxford University D.Phil thesis 1982."},{"key":"e_1_2_1_2_15_2","unstructured":"Schneider S. A.: Correctness and communication in real-time systems . Programming Research Group Technical Monograph PRG-84 Oxford University 1990."},{"key":"e_1_2_1_2_16_2","unstructured":"Sutherland W. A.: Introduction to Metric and Topological Spaces . Oxford University Press 1975."},{"key":"e_1_2_1_2_17_2","unstructured":"Wang Yi.: A calculus of real time systems . Ph.D thesis Chalmers University of Technology 1991."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211248.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211248\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:21:12Z","timestamp":1641482472000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,11]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1993,11]]}},"alternative-id":["10.1007\/BF01211248"],"URL":"https:\/\/doi.org\/10.1007\/bf01211248","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,11]]}}}