Discrete time process algebra-Reference-Cited by-同舟云学术

Discrete time process algebra

Published:1996-03 Issue:2 Volume:8 Page:188-208
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Baeten J. C. M.¹,Bergstra J. A.²³

Affiliation:

1. Department of Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600, MB Eindhoven, The Netherlands

2. Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands

3. Department of Philosophy, Utrecht University, Utrecht, The Netherlands

Abstract

Abstract The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to define a discrete time extension of ACP, along the lines of ATP [NiS94]. We present versions based on relative timing and on absolute timing. Both approaches are integrated using parametric timing. The time free ACP theory is embedded in the discrete time theory.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01214556.pdf

Reference29 articles.

1. Real time process algebra

2. Baeten J. C. M. and Bergstra J. A.: Discrete Time Process Algebra. Extended abstract in: (ed.) Cleaveland W. R. Proc. CONCUR '92 LNCS 630 Springer-Verlag 1992 pp. 401–420. (Full version: report P9208b Programming Research Group University of Amsterdam 1992 pp. 81. Available at ftp://ftp.win.tue.nl/pub/techreports/josb/discretetime.ps.Z.)

3. Real space process algebra

4. On sequential composition, action prefixes and process prefix

5. Baeten J. C. M. and Weijland W. P.: Process Algebra. Cambridge Tracts in Theor. Comp. Sci. 18 Cambridge University Press 1990.

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sound reasoning in tock-CSP;Acta Informatica;2021-04-17

2. A Timed Process Algebra for Wireless Networks with an Application in Routing;Programming Languages and Systems;2016

3. Modelling MAC-Layer Communications in Wireless Systems;Logical Methods in Computer Science;2015-03-31

4. CCS: It’s not fair!;Acta Informatica;2015-03-19

5. A timed calculus for wireless systems;Theoretical Computer Science;2011-11