scientific article; zbMATH DE number 6816930
From MaRDI portal
Publication:4596786
DOI10.23638/LMCS-13(4:9)2017zbMath1459.68140arXiv1710.06744MaRDI QIDQ4596786
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
Publication date: 11 December 2017
Full work available at URL: https://arxiv.org/abs/1710.06744
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
process algebraprogramming languagesconcurrencygame semanticscategorical semanticspresheaf semantics
Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (2)
This page was built for publication:
