scientific article; zbMATH DE number 7315076

zbMath1455.68121arXiv1011.6431MaRDI QIDQ4963998

Davide Sangiorgi, Simone Martini, Ugo Dal Lago

Publication date: 24 February 2021

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A higher-order characterization of probabilistic polynomial time

This page was built for publication: