A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
Alberto Momigliano, Simon J. Ambler, Roy L. CroleVolume:
70
Year:
2002
Language:
english
Pages:
16
DOI:
10.1016/s1571-0661(04)80506-1
File:
PDF, 195 KB
english, 2002