1 dataset found

Tags: behavioural-theories

Filter Results

  • Behavioural Theory for Mobile Ambients

    We study a behavioural theory of Cardelli and Gordon's Mobile Ambients, a process calculus for modelling mobile agents in wide-area networks, focussing on reduction...
You can also access this registry using the API (see API Docs).