Modularity of Behaviours for Mathematical Operational Semantics

Marco Kick, A. John Power. Modularity of Behaviours for Mathematical Operational Semantics. Electronic Notes in Theoretical Computer Science, 106:185-200, 2004. [doi]

Authors

Marco Kick

This author has not been identified. Look up 'Marco Kick' in Google

A. John Power

This author has not been identified. Look up 'A. John Power' in Google