The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.

Roope Kaivola, Antti Valmari

Browse the full CONCUR paper archive.