Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |