Game Semantics for Nominal Exceptions

First Author: Murawski A
Attributed to:  Game Semantics for Java Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-54830-7_11

Publication URI: http://dx.doi.org/10.1007/978-3-642-54830-7_11

Type: Book Chapter

Book Title: Foundations of Software Science and Computation Structures (2014)

Page Reference: 164-179

ISBN: 978-3-642-54829-1