Back to Search
Start Over
Discrete time process algebra
Discrete time process algebra
- 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.
- Subjects :
- Discrete mathematics
Discrete time and continuous time
Computer Science::Logic in Computer Science
Process calculus
Atomic actions
High Energy Physics::Experiment
ComputingMilieux_LEGALASPECTSOFCOMPUTING
Extension (predicate logic)
Physics::Chemical Physics
Axiom
Parametric statistics
Mathematics
Subjects
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