New Publication: Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture
A new journal article resulting from a collaboration with with colleagues at has been published in Future Generation Computer Systems. See Publications for more details!