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.

Local Model Checking for Value-Passing Processes (Extended Abstract)

Julian Rathke, Matthew Hennessy. Local Model Checking for Value-Passing Processes (Extended Abstract). In Martín Abadi, Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, Proceedings. Volume 1281 of Lecture Notes in Computer Science, pages 250-266, Springer, 1997.

Authors

Julian Rathke

This author has not been identified. Look up 'Julian Rathke' in Google

Matthew Hennessy

This author has not been identified. Look up 'Matthew Hennessy' in Google
runs on