scientific article; zbMATH DE number 6816930

DOI10.23638/LMCS-13(4:9)2017zbMATH Open1459.68140arXiv1710.06744MaRDI QIDQ4596786FDOQ4596786

Authors: Clovis Eberhart, Tom Hirschowitz, Thomas Seiller 

Publication date: 11 December 2017

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

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)

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)