Skip to main navigation Skip to search Skip to main content

Using testing semantics to show safety and liveness in the development of CCS specifications

  • J. Baillie

Research output: Book/Report › Other report

51 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Using testing semantics to show safety and liveness in the development of CCS specifications'. Together they form a unique fingerprint.
Sort by

Keyphrases

Mathematics

Computer Science