Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bernhard Reus
Denotational Semantics for Abadi and Leino’s Logic of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Metric Denotational Semantics for Remote Process Destruction and Cloning
Studia Universitatis Babeș-Bolyai Informatica
A Denotational Semantics for the Π-Calculus
Compiler Generation From Denotational Semantics
DAIMI Report Series
The Language for DENOTE (Denotational Semantics Translation Environment)
A Constructive Denotational Semantics for Kahn Networks in Coq
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
Denotational Semantics of a Parallel Object-Oriented Language
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics
DAIMI Report Series
