scientific article; zbMATH DE number 7066680

zbMath1412.18006MaRDI QIDQ5382449

Tom Hirschowitz, Clovis Eberhart

Publication date: 17 June 2019

Full work available at URL: http://www.tac.mta.ca/tac/volumes/34/19/34-19abs.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

factorisation systemsconcurrent game semanticspseudo double categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• A calculus of mobile processes. II
• Introduction to extensive and distributive categories
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Categories of continuous functors. I
• Full abstraction for fair testing in CCS (expanded version)
• Game Semantics in String Diagrams
• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• Framed bicategories and monoidal fibrations
• The Parallel Intensionally Fully Abstract Games Model of PCF
• Foundations of Software Science and Computation Structures
• CONCUR 2004 - Concurrency Theory
• Catégories structurées