History-based reasoning about behavioral subtyping (extended paper)

Theoretical Computer Science, vol. 1071, pp. 115847

Authors 3

1. Jinting Bian corresponding

   Changsha University

   Affiliation as printed

   School of Computer Science and Engineering, Changsha University, Changsha, China

2. Hans-Dieter A. Hiep Aachen Leiden Institute of Advanced Computer Science

   Leiden University

   Affiliation as printed

   Leiden Institute of Advanced Computer Science (LIACS), Leiden, The Netherlands

3. Frank S. de Boer Aachen Leiden Institute of Advanced Computer Science

   Leiden University · Centrum Wiskunde & Informatica

   Affiliation as printed

   CWI, Science Park 123, Amsterdam, The Netherlands

   Leiden Institute of Advanced Computer Science (LIACS), Leiden, The Netherlands