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.

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer. Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. Electronic Notes in Theoretical Computer Science, 173:313-337, 2007. [doi]

Authors

Joachim Niehren

This author has not been identified. Look up 'Joachim Niehren' in Google

David Sabel

This author has not been identified. Look up 'David Sabel' in Google

Manfred Schmidt-Schauß

This author has not been identified. Look up 'Manfred Schmidt-Schauß' in Google

Jan Schwinghammer

This author has not been identified. Look up 'Jan Schwinghammer' in Google
runs on