================================================================================
P9405   J.C.M. Baeten & J.A. Bergstra
        "Process algebra with partial choice"


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 a setting in which no assumption on fairness
(or unfairness) has been made.



@inproceedings{P9405,
        author =        {J.C.M. Baeten and J.A. Bergstra},
        title =         {Process algebra with partial choice},
        pages =         {},
        booktitle =     {Proceedings CONCUR'94},
	place =		{Uppsala},
        year =          {1994},
        editor =        {J. Parrow},
        series =        {LNCS},
        volume =        {},
        publisher =     {Springer}
}


[
J.C.M. Baeten & J.A. Bergstra, Process algebra with partial choice, Progr.
report P9405, UvA 1994, report CSN 94/09, EUT 1994.  To appear in Proc.
CONCUR'94, Uppsala (J. Parrow, ed.), LNCS, 1994.
]