Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by B. Aziz
A Denotational Semantics for the Π-Calculus
Related publications
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Language for DENOTE (Denotational Semantics Translation Environment)
A Constructive Denotational Semantics for Kahn Networks in Coq
Compiler Generation From Denotational Semantics
DAIMI Report Series
Metric Denotational Semantics for Remote Process Destruction and Cloning
Studia Universitatis Babeș-Bolyai Informatica
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Denotational Semantics of a Parallel Object-Oriented Language
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Denotational Semantics for Abadi and Leino’s Logic of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
