Search results
Lecture Notes in Computer Science > Structural Information and Communication Complexity > Regular Papers > 141-153
Lecture Notes in Computer Science > Principles of Distributed Systems > Session VI (Self-stabilization) > 267-282
Lecture Notes in Computer Science > Advances in Distributed Systems > Part 2 Systems Architecture > 238-253
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 731-758
Lecture Notes in Computer Science > Dependable and Historic Computing > Part C: Contributed Papers > 323-343
Lecture Notes in Computer Science > Graph Transformations > Software Engineering Methods and Tools > 275-290