Posts sorted by Publication
New Publication: Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture
New Publication: Distributed Maintenance of a Spanning Tree of k-Connected Graphs
New Publication: Communicating Concurrent Kleene Algebra for Distributed Systems Specification
Page 5 of 5