Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.

Antonella Santone, Gigliola Vaglini

Browse the full ICSoft paper archive.