Search results
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 1. Message Sequence Charts and SDL > 19-34
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 364-397
Lecture Notes in Computer Science > Computer Science Logic > Semantics > 200-215