Home » Authors » Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi

Public reference bibliography and cataloged PDF materials authored or published by Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi.

Found 1 document(s) Page 1 of 1

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Year: 2018 • Source: hal.science • Listed PDF

We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University of Firenze. Mor...