Bisimulations in SSCC

TitleBisimulations in SSCC
Publication TypeMiscellaneous
Year of Publication2007
AuthorsCruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos