Specification and Design of Concurrent Systems (McGraw-Hill International Serie

Specification and Design of Embedded Systems

The Temporal Logic of Reactive and Concurrent Systems: Specification

Design, Specification and Verification of Interactive Systems '95: Proceedings o

Hands-On System Programming with Go : Build Modern and Concurrent...

The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna

Design, Specification and Verification of Interactive Systems '95: Proce 2201218

Rust System Programming: Build Secure, Concurrent, and Efficient System Software