M. Pasqua

Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
AbU: A calculus for distributed event-driven programming with attribute-based interaction
Distributed Programming of Smart Systems with Event-Condition-Action Rules
On the Security and Safety of AbU Systems

Published with Wowchemy — the free, open source website builder that empowers creators.