DMCA
A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data (1998)
by
J. F. Groote
,
S. P. Luttik
Citations: | 4 - 1 self |