Abstract
The objective of this paper is to bridge the gap between ACP and TCSP. To
this end, ACP is extended with two non-deterministic choice operators in a
setting of bisimulation semantics. With these operators, we can express
safety properties of systems without the use of silent steps, and we can
verify safety properties in
... read more