scientific article; zbMATH DE number 7167776

zbMath1433.68230arXiv1508.04852MaRDI QIDQ5216153

Ioana Cristescu, Clément Aubert

Publication date: 14 February 2020

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

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Contextual equivalences in configuration structures and reversibility ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Concurrencies in reversible concurrent calculi

This page was built for publication: