scientific article; zbMATH DE number 7297892
From MaRDI portal
Publication:5144691
zbMATH Open1458.68132arXiv1704.04190MaRDI QIDQ5144691
Anca Muscholl, Igor Walukiewicz, Javier Esparza
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1704.04190
Title of this publication is not available (Why is that?)
Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Deterministic Negotiations: Concurrency for Free ⋮ Timed negotiations ⋮ Negotiation as concurrency primitive ⋮ A local-time semantics for negotiations ⋮ Active learning for sound negotiations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5144691)
