An effective axiomatization for real time ACP

Wan Fokkink, Steven Klusener

Research output: Contribution to JournalArticleAcademicpeer-review


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.

Original languageEnglish
Pages (from-to)286-299
Number of pages14
JournalInformation and Computation
Issue number2
Publication statusPublished - 1 Nov 1995


Dive into the research topics of 'An effective axiomatization for real time ACP'. Together they form a unique fingerprint.

Cite this