Precongruence Formats with Lookahead through Modal Decomposition.

Wan J. Fokkink, Rob J. van Glabbeek

Browse the full CSL paper archive.