Parallel program design: a foundation
Parallel program design: a foundation
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 26th International Conference on Software Engineering
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
| Hi-index | 0.00 |