Back to Search Start Over

Discrete time process algebra

Discrete time process algebra

Authors :
Jos C. M. Baeten
Jan A. Bergstra
Mathematics and Computer Science
VF-programma Parallellisme (TUE.INF.302.90.26)
Source :
CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992), 401-420, STARTPAGE=401;ENDPAGE=420;TITLE=CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992), CONCUR '92 ISBN: 9783540558224, CONCUR
Publication Year :
1992
Publisher :
Springer, 1992.

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 ofATP (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.

Details

Language :
English
ISBN :
978-3-540-55822-4
ISBNs :
9783540558224
Database :
OpenAIRE
Journal :
CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992), 401-420, STARTPAGE=401;ENDPAGE=420;TITLE=CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992), CONCUR '92 ISBN: 9783540558224, CONCUR
Accession number :
edsair.doi.dedup.....a26e7ceb6fb88df494c8fcae01a78e09