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