Selective -calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Browse the full FORTE paper archive.