AN EFFECTIVE AXIOMATIZATION FOR REAL-TIME ACP

Baeten and Bergstra added real time to ACP and introduced the notion o f integration, which expresses the possibility of an action happening within a time interval. In order to axiomatize this feature, they need ed 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 equiv alence between process terms by means of this axiomatization. (C) 1995 Academic Press, Inc.