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

Real time process algebra

Published:1991-06 Issue:2 Volume:3 Page:142-188
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 Software Technology, CWI, 1009, AB Amsterdam, The Netherlands

2. Programming Research Group, University of Amsterdam, 1009, DB Amsterdam

3. Department of Philosophy, Utrecht University, Heidelberglaan 2, 3584, CS Utrecht, The Netherlands

Abstract

Abstract We describe an axiom system ACP p that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP p is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from it. The purpose of ACP p is to serve as a specification language for real time systems. The axioms of ACP p explain its operational meaning in an algebraic form.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

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

Reference20 articles.

1. Bacten J. C. M. and Bergstra J. A.: Real Space Process Algebra report P9005 Programming Research Group University of Amsterdam 1990.

2. On the consistency of Koomen's Fair Abstraction Rule

3. Process algebra for synchronous communication

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

1. Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis;Theoretical Computer Science;2024-09

2. revTPL: The Reversible Temporal Process Language;Logical Methods in Computer Science;2024-01-31

3. Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity;Lecture Notes in Computer Science;2023

4. DISCOVERING EPASSPORT VULNERABILITIES USING BISIMILARITY;LOG METH COMPUT SCI;2021

5. Mathematical modelling of advanced engineering technologies for smart enterprises: an overview of approaches and ways of implementation;Economy of Industry;2018-09-28