A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data (1998)

Cached

Download Links

by J. F. Groote , S. P. Luttik
Citations:4 - 2 self