Modularity of behaviours for mathematical operational semantics
Reference:
Kick, M. and Power, J., 2004. Modularity of behaviours for mathematical operational semantics. In: Proceedings of the Workshop on Coalgebraic Methods in Computer Science. Vol. 106. Amsterdam: Elsevier, p. 185. (Electron. Notes Theor. Comput. Sci.)
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Details
| Item Type | Book Sections |
| Creators | Kick, M.and Power, J. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 5472 |
Export
Actions (login required)
| View Item |
