scientific article; zbMATH DE number 7317251
From MaRDI portal
Publication:4964718
zbMath1457.68181arXiv1106.1231MaRDI QIDQ4964718
Massimo Callisto de Donato, Federico Buti, Maria Rita Di Berardini, Walter Vogler, Flavio Corradini
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1106.1231
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Modelling mutual exclusion in a process algebra with time-outs ⋮ Unnamed Item ⋮ Ensuring liveness properties of distributed systems: open problems
This page was built for publication:
