Coalgebraic weak bisimulation for action-type systems

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

Research output: Contribution to journalArticleAcademicpeer-review

180 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Coalgebraic weak bisimulation for action-type systems'. Together they form a unique fingerprint.

Mathematics