Michele Pasqua

Latest

• The AbU Language: IoT Distributed Programming Made Easy
• A Calculus for Attribute-Based Memory Updates