scientific article; zbMATH DE number 6816930

DOI10.23638/LMCS-13(4:9)2017MaRDI QIDQ4596786zbMATH OpenFDO

Authors Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

Publication date 11 December 2017

Full work available at URL https://arxiv.org/abs/1710.06744

zbMATH Keywords

programming languagescategorical semanticsconcurrencygame semanticsprocess algebrapresheaf semantics

Mathematics Subject Classification ID

Applications of game theory (91A80) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An intensionally fully-abstract sheaf model for \(\pi\)
• scientific article; zbMATH DE number 1086714
• A fully abstract model for the \(\pi\)-calculus.
• A fully-abstract semantics of \(\lambda\mu\) in the \(\pi\)-calculus
• A fully abstract denotational semantics for the \(\pi\)-calculus
• Foundations of Software Science and Computational Structures
• Free-algebra models for the \(\pi \)-calculus
• Constructive sheaf models of type theory
• scientific article; zbMATH DE number 1759486
• scientific article; zbMATH DE number 31601

Cited in

(5)

• An intensionally fully-abstract sheaf model for \(\pi\)
• A fully abstract model for the \(\pi\)-calculus.
• Bisimulation maps in presheaf categories
• Fibred pseudo double categories for game semantics
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)

This page was built for publication:

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