Modularity of behaviours for mathematical operational semantics

Marco Kick, John Power

Research output: Contribution to journalArticlepeer-review

7 Citations (SciVal)
128 Downloads (Pure)

Fingerprint

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

Mathematics

Engineering & Materials Science