A.: The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic (1992)

by R Kaivola, Valmari
Venue:In: CONCUR’92, Lecture Notes in Computer Science 630