External Links

Cite Key

Statistics

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

PDF

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.

Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation

Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi 0001. Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 335-353, 2016. [doi]

Authors

Kazuhide Yasukata

This author has not been identified. Look up 'Kazuhide Yasukata' in Google

Takeshi Tsukada

This author has not been identified. Look up 'Takeshi Tsukada' in Google

Naoki Kobayashi 0001

This author has not been identified. Look up 'Naoki Kobayashi 0001' in Google
runs on