Search results for: M. W. Shields
Lecture Notes in Computer Science > CAAP'83 > 141-154
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 673-689
Formal Aspects of Computing > 1999 > 11 > 5 > 567-590
Formal Aspects of Computing > 1999 > 11 > 5 > 567-590