FoMaSE Research Project
FoMaSE Research Project
Overview
Project Details
News
People
Publications
Contacts
Light
Dark
Automatic
Niccolò Castronuovo
Latest
A Specification Approach for Distributed Algorithms in Continuous Space-Time
Macro-to-micro behavioural mappings in distributed systems: a characterisation on event structures
Cite
×