This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
30 Day SummaryNov 9 2025 — Dec 9 2025
|
12 Month SummaryDec 9 2024 — Dec 9 2025
|