Process Semantics of Temporal Logic Specifications.

Jos Luiz Fiadeiro, Jos Flix Costa, Amlcar Sernadas, T. S. E. Maibaum

Browse the full COMPASS paper archive.