Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Fundamenta Informaticae
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
| Hi-index | 0.00 |