A
Menu
November 21, 2024 conference-paper Open access Aachen paper

History-Based Reasoning About Behavioral Subtyping

Lecture notes in computer science, pp. 331–349

DOI: 10.1007/978-3-031-77019-7_19 Full text (OA) OpenAlex

Authors 3

  1. Jinting Bian corresponding Aachen Leiden Institute of Advanced Computer Science

    Leiden University · Centrum Wiskunde & Informatica

    Affiliation as printed

    CWI, Science Park 123, 1098 XG, Amsterdam, The Netherlands

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

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

    Leiden University · Centrum Wiskunde & Informatica

    Affiliation as printed

    CWI, Science Park 123, 1098 XG, Amsterdam, The Netherlands

    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, 1098 XG, Amsterdam, The Netherlands

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

Cited by 1 stored of 1

1 result

No patents citing this paper on Lens.org (checked 2026-10-11).

References 30