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.

UTP Semantics of Reactive Processes with Continuations

Gerard Ekembe Ngondi, Jim Woodcock. UTP Semantics of Reactive Processes with Continuations. In Jonathan P. Bowen, Huibiao Zhu, editors, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Volume 10134 of Lecture Notes in Computer Science, pages 114-133, Springer, 2016. [doi]

Authors

Gerard Ekembe Ngondi

This author has not been identified. Look up 'Gerard Ekembe Ngondi' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google
runs on