A Constructive Denotational Semantics for Kahn Networks in Coq

doi 10.1017/cbo9780511770524.018
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Cambridge University Press

Related search

A Denotational Semantics for the Π-Calculus

2001English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

Metric Denotational Semantics for Remote Process Destruction and Cloning

Studia Universitatis Babeș-Bolyai Informatica
2017English

The Language for DENOTE (Denotational Semantics Translation Environment)

1990English

Constructive Action Semantics for Core ML

BRICS Report Series
2004English

Denotational Semantics of a Parallel Object-Oriented Language

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

Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Constructive Action Semantics for Core ML

IEE Proceedings - Software
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy