- Record: found
- Abstract: not found
- Book Chapter: not found
Theory and Practice of Formal Methods
Denotational and Operational Preciseness of Subtyping: A Roadmap
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references32
- Record: found
- Abstract: not found
- Book Chapter: not found
Language primitives and type discipline for structured communication-based programming
Kohei Honda, Vasco Vasconcelos, Makoto Kubo (1998)
- Record: found
- Abstract: not found
- Book: not found
A Theory of Objects
Martín Abadi, Luca Cardelli (1996)
- Record: found
- Abstract: not found
- Article: not found
Multiparty asynchronous session types
Marco Carbone, Nobuko Yoshida, Kohei Honda (2008)