Observed Communication Semantics for Classical Processes

DOI10.1007/978-3-662-54434-1_3MaRDI QIDQ2988633zbMATH OpenOpenAlexFDO

Authors Robert Atkey

Publication date 19 May 2017

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://strathprints.strath.ac.uk/59710/

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Semantics of communicating processes
• scientific article; zbMATH DE number 7453964
• scientific article; zbMATH DE number 3926215
• Specification-oriented semantics for communicating processes
• scientific article; zbMATH DE number 781171
• Axiomatic semantics of communicating sequential processes
• scientific article; zbMATH DE number 3928330
• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 3956422

Cites work

• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• scientific article; zbMATH DE number 1956508 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A Semantics for Propositions as Sessions
• Barbed bisimulation
• Categorical semantics of linear logic
• Certifying data in multiparty session types
• Computational interpretations of linear logic
• Conflation confers concurrency
• Finiteness spaces
• Functionality in Combinatory Logic
• I got plenty o' nuttin'
• Interpreting a finitary pi-calculus in differential interaction nets
• LCF considered as a programming language
• Linear Logic and Strong Normalization
• Linear logic
• Linear logical relations and observational equivalences for session-based concurrency
• Linear type theory for asynchronous session types
• On the \(\pi\)-calculus and linear logic
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Proof-carrying code in a session-typed process calculus
• Proofs as processes
• Propositions as sessions
• Propositions as sessions
• Session types as intuitionistic linear propositions
• Talking bananas: structural recursion for session types
• The -calculus: A theory of mobile processes
• The true concurrency of differential interaction nets
• Weighted relational models of typed lambda-calculi

Cited in

(4)

• Parametrized fixed points and their applications to session types
• Fairness and communication-based semantics for session-typed languages
• Around classical and intuitionistic linear processes
• A universal session type for untyped asynchronous communication

This page was built for publication: Observed Communication Semantics for Classical Processes

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