A Logical Characterisation of Static Equivalence

Publisher  Elsevier Science Publishers B. V.

Details

TypeInproceedings
Pages139–157
Volume173
SeriesElectron. Notes Theor. Comput. Sci.
> Publications > A Logical Characterisation of Static Equivalence