Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jaco de Bakker
Denotational Semantics of a Parallel Object-Oriented Language
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
ParoC++: A Requirement-Driven Parallel Object-Oriented Programming Language
The Language for DENOTE (Denotational Semantics Translation Environment)
Compiler Generation From Denotational Semantics
DAIMI Report Series
A Denotational Semantics for the Π-Calculus
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Design of a Parallel Object-Oriented Linear Algebra Library
A Conceptual Language for Querying Object Oriented Data
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Oasis: An Object-Oriented Specification Language
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
