Reasoning About Active Objects: A Sound and Complete Assertional Proof Method
Lecture notes in computer science, pp. 173–192
Authors 2
-
Leiden University · Centrum Wiskunde & Informatica
Affiliation as printed
Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands
Leiden Institute for Advanced Computer Science, Leiden, The Netherlands
-
Stijn de Gouw corresponding
Centrum Wiskunde & Informatica · Open University of the Netherlands
Affiliation as printed
Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands
Open University, Heerlen, The Netherlands
Cited by 2 stored of 2
2 results
No patents citing this paper on Lens.org (checked 2026-10-11).