A semantic theory for value-passing processes based on the late approach
type: Item
instance of: scholarly article
title: A semantic theory for value-passing processes based on the late approach
zbMATH Open document ID: 1028.68094
DOI: 10.1016/S0890-5401(03)00052-X
author: Anna Ingolfsdottir
published in: Information and Computation
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1956113
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: A domain equation for bisimulation
cites work: Termination, deadlock, and divergence
cites work: Processes and the denotational semantics of concurrency
cites work: A fully abstract model for the \(\pi\)-calculus.
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: A term model for synchronous processes
cites work: Q3997501
cites work: A fully abstract denotational model for higher-order processes
cites work: A fully abstract denotational semantics for the \(\pi\)-calculus
cites work: A theory of communicating processes with value passing
cites work: Proof systems for message-passing process algebras
cites work: Communicating sequential processes
cites work: Q3938462
cites work: Late and early semantics coincide for testing
cites work: A calculus of communicating systems
cites work: Calculi for synchrony and asynchrony
cites work: Q3992568
cites work: Concurrent Processes and Their Syntax
cites work: A calculus of mobile processes. II
cites work: Q3907077
cites work: A Powerdomain Construction
cites work: From π-calculus to higher-order π-calculus — and back
cites work: Q4195918
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: On powerdomains and modality
cites work: Bisimulation and divergence
description: scientific article; zbMATH DE number 1956113