Deploy E-LOTOS to Europe — Ed Brinksma 🇳🇱 (University of Twente 2001), ISO/IEC 15437 the Enhanced Process Algebra That Unified LOTOS Data and Behaviour, on EU Infrastructure in 2026
Deploy E-LOTOS to EU servers in minutes. sota.io is the EU-native PaaS — GDPR-compliant, managed PostgreSQL, zero DevOps. E-LOTOS (ISO/IEC 15437:2001) by Ed Brinksma 🇳🇱 (University of Twente) — the ISO-standardised enhanced process algebra that unified LOTOS value-passing with a clean data type system. Successor to LOTOS (ISO 8807:1989), predecessor influence on LNT (INRIA Grenoble) and mCRL2 (TU Eindhoven). ETSI telecom standardisation. IEC 61508, EN 50128 SIL4, EU AI Act Art. 9. Free tier.