Specification and Design of Concurrent Systems

Article Properties