ICALP
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth≤ k and, if so, outputs a branch decomposition of minimum width....
ICALP
1997
Springer
13 years 9 months ago
1997
Springer