Metric Denotational Semantics for Remote Process Destruction and Cloning

Studia Universitatis Babeș-Bolyai Informatica
doi 10.24193/subbi.2017.2.08
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Babes-Bolyai University

Related search

On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics

Abstract and Applied Analysis
Applied MathematicsAnalysis
2013English

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

Denotational Semantics for Abadi and Leino’s Logic of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Language for DENOTE (Denotational Semantics Translation Environment)

1990English

A Constructive Denotational Semantics for Kahn Networks in Coq

English

Connection Between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

DAIMI Report Series
1978English

Illinois-Lh: A Denotational and Distributional Approach to Semantics

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy