A menagerie of non-finitely based process semantics over BPA* — from ready simulation to completed traces

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'A menagerie of non-finitely based process semantics over BPA* — from ready simulation to completed traces'. Together they form a unique fingerprint.

Mathematics

Computer Science