External Links

Cite Key

Statistics

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

PDF

Tags

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.

Forgetting the Time in Timed Process Algebra

Anton Wijs. Forgetting the Time in Timed Process Algebra. In John Hatcliff, Elena Zucca, editors, Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Volume 6117 of Lecture Notes in Computer Science, pages 110-124, Springer, 2010. [doi]

Abstract

Abstract is missing.

runs on