Connecting Algebraic and Logical Descriptions of Concurrent Systems.

Naijun Zhan

Browse the full ISoLA paper archive.