Back to Search Start Over

Real Time Process Algebra with Infinitesimals

Authors :
Jan A. Bergstra
Jos C. M. Baeten
Source :
Workshops in Computing ISBN: 9783540199090
Publication Year :
1995
Publisher :
Springer London, 1995.

Abstract

We consider a model of the real time process algebra of [1,2,3] based on the nonstandard reals. As a subalgebra, we obtain a theory in which the urgent actions of ATP, TiCCS, TeCCS can be modeled.

Subjects

Subjects :
Algebra
Process calculus
Infinitesimal
Subalgebra
Absolute time and space
Real time process algebra
Mathematics

Details

ISBN :
978-3-540-19909-0
ISBNs :
9783540199090
Database :
OpenAIRE
Journal :
Workshops in Computing ISBN: 9783540199090
Accession number :
edsair.doi...........30388acc5b6bb6ca6ebd54ee2ffeea4c
Full Text :
https://doi.org/10.1007/978-1-4471-2120-6_7
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details