%0 Journal Article
%T Modal Logic and Equality for Process Algebra
%A MITCHELL, R.P.WILLIAM
%J Journal of Logic and Computation
%V 6
%N 1
%@ 0955-792X
%D 1996-02-01
%I Oxford University Press
%~ DeepDyve