Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Hennessy
A Fully Abstract Denotational Model for Higher-Order Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
A Certified Denotational Abstract Interpreter
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Primitive Recursion for Higher-Order Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Higher-Order Contracts to Model Session Types (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Domain-Theoretic Model for a Higher-Order Process Calculus
Higher Order Asymptotic Theory for Discriminant Analysis in Gaussian Stationary Processes
JOURNAL OF THE JAPAN STATISTICAL SOCIETY
On the Relative Expressiveness of Higher-Order Session Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
