Extending Temporal Logic by Explicit Concurrency.

Barbara Paech

Browse the full MFCS paper archive.