scientific article; zbMATH DE number 7255736

DOI10.4230/LIPICS.CONCUR.2020.0zbMATH Open1445.68020MaRDI QIDQ5125288

Author name not available (Why is that?)

Publication date: 6 October 2020

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2020/12811/pdf/lipics-vol171-concur2020-complete.pdf

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Probabilistic reach-avoid for Bayesian neural networks ⋮ A logical account of subtyping for session types

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 Q5125288)