Dataset - CKAN

A behavioural theory for a π-calculus with preorders

We study the behavioural theory of piP, a pi-calculus featuring restriction as the only binder. In contrast with calculi such as Fusions and Chi, reduction in piP...
- HTML

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