A Fully Abstract Denotational Model for Higher-Order Processes

Information and Computation - United States
doi 10.1006/inco.1994.1052
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

A Certified Denotational Abstract Interpreter

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Primitive Recursion for Higher-Order Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Higher-Order Processes, Functions, and Sessions: A Monadic Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Domain-Theoretic Model for a Higher-Order Process Calculus

English

Higher Order Asymptotic Theory for Discriminant Analysis in Gaussian Stationary Processes

JOURNAL OF THE JAPAN STATISTICAL SOCIETY
1997English

On the Relative Expressiveness of Higher-Order Session Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy