Search results
Lecture Notes in Computer Science > Principles of Distributed Systems > Brief Announcements II > 135-138
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 553-567
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 361-385
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 201-284