An ω-Complete equational specification of interleaving

W. J. Fokkink, S. P. Luttik

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'An ω-Complete equational specification of interleaving'. Together they form a unique fingerprint.

Computer Science