A Temporal Logic for Real-Time Partial-Ordering with Named Transactions.

Farn Wang

Browse the full LATIN paper archive.