Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference, …
by Bruni, Roberto, Dingel, Juergen, IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Reykjavik), IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Reykjavik)
fromLecture Notes in Computer Science