External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Process Calculus for Dynamic Networks

Dimitrios Kouzapas, Anna Philippou. A Process Calculus for Dynamic Networks. In Roberto Bruni, Jürgen Dingel, editors, Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6722 of Lecture Notes in Computer Science, pages 213-227, Springer, 2011. [doi]

Authors

Dimitrios Kouzapas

This author has not been identified. Look up 'Dimitrios Kouzapas' in Google

Anna Philippou

This author has not been identified. Look up 'Anna Philippou' in Google
runs on