Search results for: J. W. Klop
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 50-122
Lecture Notes in Computer Science > Mathematical Methods of Specification and Synthesis of Software Systems '85 > 9-23
Lecture Notes in Computer Science