Ryszard Janicki profile picture

Ryszard Janicki

Is this your author profile? Create an account to customize it!

Stand Alone

Specification and Analysis of Concurrent Systems
Specification and Analysis of Concurrent Systems: The COSY Approach
Specification and Analysis of Concurrent Systems: The Cosy Approach (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)