Cornelis Huizing

Full abstraction of a real-time denotational semantics for an OCCAM-like language

Cornelis Huizing, Rob Gerth, W.P. deRoever · 1987 · 41 citations

Computing, Computer Science, Distributed Systems +14

Introduction to design choices in the semantics of Statecharts

Cornelis Huizing, Willem P. de Roever · Information Processing Letters · 1991 · 30 citations

Computing, Computer Systems, Formal Methods +6

VISUALIZATION OF OBJECT-ORIENTED (JAVA) PROGRAMS

Cornelis Huizing, Ruurd Kuiper, Vincent Vandalon · 2012 · 23 citations · Full text

Computing, Computer Science, Educational Technology +12

Semantics of reactive systems : comparison and full abstraction

Cornelis Huizing · TU/e Research Portal (Eindhoven University of Technology) · 1991 · 22 citations · Full text

Language Studies, Computer Science, Computer Systems +14

Invariants for Non-Hierarchical Object Structures

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper et al. · Electronic Notes in Theoretical Computer Science · 2008 · 20 citations · Full text

Computing, Computer Science, Design Automation +16