4485 search results - page 26 / 897 » Equivalences on Observable Processes |
CSDA
2010
15 years 3 months ago
2010
104
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
IJIIP
2010
15 years 17 days ago
2010
131
click to vote
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...