1995
An effective axiomatization for real time ACP
Publication
Publication
Baeten and Bergstra added real time to ACP, and introduced the notion of integration, which expresses the possibility of an action happening within a time interval. In order to axiomatize this feature, they needed an `uncountable' axiom. This paper deals with prefix integration, and integration is parametrized by conditions, which are inequalities between linear expressions of variables. We present an axiomatization for process terms, and propose a strategy to decide bisimulation equivalence between process terms, by means of this axiomatization.
Additional Metadata | |
---|---|
, , | |
, | |
CWI | |
Department of Computer Science [CS] | |
Fokkink, W., & Klusener, S. (1995). An effective axiomatization for real time ACP. Department of Computer Science [CS]. CWI. |