Domain theory for concurrency

DOI10.1016/j.tcs.2004.01.029zbMath1072.68062OpenAlexW2070569912WikidataQ56092881 ScholiaQ56092881MaRDI QIDQ1434357

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

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

Related Items

Semantic domains of timed event structures, Prime algebraicity, Domain theory for concurrency, Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity, Nominal Domain Theory for Concurrency, Event Structures with Symmetry, Event Structure Spans for Nondeterministic Dataflow

Uses Software

• HOPLA

Cites Work

• Linear logic
• Models for concurrency: Towards a classification
• Computational interpretations of linear logic
• On powerdomains and modality
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• A calculus of mobile processes. II
• Full abstraction in the lazy lambda calculus
• A fully abstract denotational model for higher-order processes
• Semantics of weakening and contraction
• Domain theory for concurrency
• Bisimulation from open maps
• Algebraic laws for nondeterminism and concurrency
• A Powerdomain Construction
• Time, clocks, and the ordering of events in a distributed system
• Some Properties of Predicate Transformers
• Anytime, anywhere
• Profunctors, open maps and bisimulation
• CONCUR 2003 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item