Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time

Authors:
J.C.M. Baeten;J.A. Bergstra
Affiliations:
Department of Computing Science, Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands;Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands and Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Neth ...
Venue:
Fundamenta Informaticae
Year:
1997

Citing 17
Cited 1

CIRCAL and the representation of communication, concurrency, and time

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Communicating sequential processes

Communicating sequential processes
Laws of programming

Communications of the ACM
Ready-trace semantics for concrete process algebra with the priority operator

The Computer Journal
Global renaming operators in concrete process algebra

Information and Computation
A timed model for communicating sequential processes

Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Process algebra

Process algebra
A temporal calculus of communicating systems

CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Algebraic specification of communication protocols

Algebraic specification of communication protocols
The algebra of timed processes, ATP: theory and application

Information and Computation
The I2C&-bus in discrete-time process algebra

Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Communication and Concurrency

Communication and Concurrency
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Specification and verification of real time systems in ACP

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Discrete Time Process Algebra

CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
Discrete Time Process Algebra with Abstraction

FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory

Truth of Duration Calculus Formulae in Timed Frames

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss the key notions of discrete time process algebra in the setting of ACP. Time is measured in discrete slices. The emphasis is on absolute, relative and parametric time notation. Note: Partial support received from ESPRIT Basic Research Action 7166, C0NCUR2.