Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings - International Conference on Formal Methods for Open Object-Based Distributed Systems 2011 : Reykjavik, Iceland); Dingel, Juergen; Bruni, Roberto; International Federation for Information Processing; IFIP Working Group 6.1.; International Conference on Formal Description Techniques 2011 : Reykjavik, Iceland); International Federated Conferences on Distributed Computing Techniques 2011 : Reykjavik, Iceland) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Software engineering; Logic design