Temporal Logic and Causality in Concurrent Systems.

Wolfgang Reisig

Browse the full CONCUR paper archive.