@InProceedings{l95-p494-508,
  AUTHOR    = {F. Wang},
  TITLE     = {A Temporal Logic for Real-Time Partial-Ordering with Named Transactions},
  YEAR      = 1995,
  BOOKTITLE = {Proc.~of the 2nd Latin American Symposium on Theoretical Informatics (LATIN'95)},
  ADDRESS   = {Valparaiso, Chile},
  PAGES     = {494--508},
  KEYWORDS  = {}}