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.

Divide and Compose: SCC Refinement for Language Emptiness

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi. Divide and Compose: SCC Refinement for Language Emptiness. In Kim Guldstrand Larsen, Mogens Nielsen, editors, CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings. Volume 2154 of Lecture Notes in Computer Science, pages 456-471, Springer, 2001. [doi]

Authors

Chao Wang

This author has not been identified. Look up 'Chao Wang' in Google

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

Gary D. Hachtel

This author has not been identified. Look up 'Gary D. Hachtel' in Google

Kavita Ravi

This author has not been identified. Look up 'Kavita Ravi' in Google

Fabio Somenzi

This author has not been identified. Look up 'Fabio Somenzi' in Google
runs on