Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Information and Computation
Relating communicating processes with different interfaces
Fundamenta Informaticae
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Relating Communicating Processes with Different Interfaces
Fundamenta Informaticae
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Hi-index | 0.00 |