scientific article; zbMATH DE number 7020158
From MaRDI portal
Publication:4621160
zbMath1424.68103arXiv1108.0463MaRDI QIDQ4621160
Publication date: 8 February 2019
Full work available at URL: https://arxiv.org/abs/1108.0463
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
behavioural equivalencesconcurrencygame semanticsprogramming language semanticspresheaf modelsfair testing
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Bisimulation maps in presheaf categories ⋮ Monoidal-closed categories of tree automata ⋮ Distributed Strategies Made Easy
This page was built for publication: