TY - JOUR
T1 - An effective axiomatization for real time ACP
AU - Fokkink, Wan
AU - Klusener, Steven
PY - 1995/11/1
Y1 - 1995/11/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0347668269&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0347668269&partnerID=8YFLogxK
U2 - 10.1006/inco.1995.1151
DO - 10.1006/inco.1995.1151
M3 - Article
AN - SCOPUS:0347668269
SN - 0890-5401
VL - 122
SP - 286
EP - 299
JO - Information and Computation
JF - Information and Computation
IS - 2
ER -
