Dataset - CKAN

Dynamic Composition of Evolving Process Types

Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is...
- HTML

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