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.

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)

Rob J. van Glabbeek, Ursula Goltz. Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). In Antoni Kreczmar, Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Volume 379 of Lecture Notes in Computer Science, pages 237-248, Springer, 1989.

Authors

Rob J. van Glabbeek

This author has not been identified. It may be one of the following persons: Look up 'Rob J. van Glabbeek' in Google

Ursula Goltz

This author has not been identified. Look up 'Ursula Goltz' in Google
runs on