scientific article; zbMATH DE number 7020158

zbMath1424.68103arXiv1108.0463MaRDI QIDQ4621160

Damien Pous, Tom Hirschowitz

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.

zbMATH Keywords

behavioural equivalencesconcurrencygame semanticsprogramming language semanticspresheaf modelsfair testing

Mathematics Subject Classification ID

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: