Fully abstract semantics for observably sequential languages
type: Item
instance of: scholarly article
title: Fully abstract semantics for observably sequential languages
zbMATH Open document ID: 0806.68072
author: Robert Cartwright
author: Matthias Felleisen
author: Pierre-Louis Curien
published in: Information and Computation
publication date: 1994-06-19T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 590759
zbMATH Keywords: denotational semantics
zbMATH Keywords: sequential programming language
MaRDI profile type: Publication
full work available at URL: inco.1994.1047
OpenAlex ID: W2012319728
DOI: 10.1006/INCO.1994.1047
Recommended article: Q3741042
Recommended article: Q4490718
Recommended article: Q2722047
Recommended article: Fully abstract denotational models for nonuniform concurrent languages
Recommended article: A fully abstract semantics for a higher-order functional language with nondeterministic computation
Recommended article: Q4523165
Recommended article: A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
Recommended article: Q3204053
Recommended article: Q2754141
description: scientific article; zbMATH DE number 590759