scientific article; zbMATH DE number 6917167

DOI10.4230/LIPIcs.CALCO.2017.6zbMath1433.68237arXiv1705.08715MaRDI QIDQ4580201

Harsh Beohar, Sebastian Küpper

Publication date: 13 August 2018

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

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

zbMATH Keywords

pathscoalgebrasbranching bisimulationexecutions

Mathematics Subject Classification ID

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

Related Items (4)

Bisimulation maps in presheaf categories ⋮ Bisimulation as a logical relation ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: