A Temporal Logic for Real-Time Partial-Ordering with Named Transactions.
Journal
LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valpara?so, Chile, April 3-7, 1995, Proceedings
Pages
494-508
Date Issued
1995
Author(s)
Type
conference paper