We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Groote [12]. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Fokkink, W., & Nain, S. (2005). A finite basis for failure semantics. In Lecture Notes in Computer Science (Vol. 3580, pp. 755–765). Springer Verlag. https://doi.org/10.1007/11523468_61
Mendeley helps you to discover research relevant for your work.