Modularity of behaviours for mathematical operational semantics

Marco Kick, John Power

Research output: Contribution to journalArticlepeer-review

7 Citations (SciVal)
291 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Modularity of behaviours for mathematical operational semantics'. Together they form a unique fingerprint.

Mathematics

Computer Science

Engineering