Domain theory for concurrency

DOI10.1016/J.TCS.2004.01.029MaRDI QIDQ1434357zbMATH OpenOpenAlexWikidataFDO

Authors Mikkel Nygaard, Glynn Winskel

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.01.029

zbMATH Keywords

ConcurrencyDomain theoryPath semanticsPresheaf semantics

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2134913
• scientific article; zbMATH DE number 1303724
• scientific article; zbMATH DE number 177813
• scientific article; zbMATH DE number 860039
• Some reasons for generalising domain theory

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. II
• A fully abstract denotational model for higher-order processes
• A Powerdomain Construction
• Algebraic laws for nondeterminism and concurrency
• Anytime, anywhere: modal logics for mobile ambients
• Bisimulation from open maps
• Computational interpretations of linear logic
• Domain theory for concurrency
• Full abstraction for HOPLA.
• Full abstraction in the lazy lambda calculus
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3903943 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1305006 (Why is no real title available?)
• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1086660 (Why is no real title available?)
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)
• scientific article; zbMATH DE number 1948166 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 1927578 (Why is no real title available?)
• Linear logic
• Models for concurrency: Towards a classification
• On powerdomains and modality
• Petri nets, event structures and domains. I
• Profunctors, open maps and bisimulation
• Semantics of weakening and contraction
• Some Properties of Predicate Transformers
• The -calculus: A theory of mobile processes
• Time, clocks, and the ordering of events in a distributed system

Cited in

(13)

• Four domains for concurrency
• Domain theory for concurrency
• Exploratory functions on nondeterministic strategies, up to lower bisimilarity
• Event structures with symmetry
• Event structure spans for nondeterministic dataflow
• Nominal Domain Theory for Concurrency
• scientific article; zbMATH DE number 177813 (Why is no real title available?)
• scientific article; zbMATH DE number 1303724 (Why is no real title available?)
• scientific article; zbMATH DE number 2134913 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• Two-dimensional Kripke semantics. II: Stability and completeness
• Semantic domains of timed event structures
• Prime algebraicity

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Domain theory for concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434357)