Compositional Temporal Logic Based on Partial Order.

Adrianna Alexander, Wolfgang Reisig

Browse the full TIME paper archive.