Dataset - CKAN

Determinacy and confluence in concurrent and synchronous process calculi

In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and...
- HTML

You can also access this registry using the API (see API Docs).