Towards a satisfaction relation between CCS specifications and their refinements

E.J. Baillie

Research output: Book/ReportOther report

57 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Towards a satisfaction relation between CCS specifications and their refinements'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science