Bisimulations in SSCC. DI

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