Coalgebraic weak bisimulation for action-type systems

A. Sokolova, E.P. Vink, de, H. Woracek

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

185 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Coalgebraic weak bisimulation for action-type systems'. Samen vormen ze een unieke vingerafdruk.

Mathematics