Local LTL with past constants is expressively complete for Mazurkiewicz traces (2003)

Cached

Download Links

by Paul Gastin , Madhavan Mukund , K. Narayan Kumar
Venue:In Proc. of MFCS’03, number 2747 in LNCS
Citations:5 - 2 self