Tommaso Bolognesi

• Formal Methods for Distributed System Development
• LOTOSphere
• LOTOSphere: Software Development with LOTOS