4.2k citations
- Utrecht UniversityNL92 papers
- Delft University of TechnologyNL91 papers
- Centrum Wiskunde & InformaticaNL81 papers
- Centre National de la Recherche ScientifiqueFR79 papers
- University of TwenteNL55 papers
- University of AmsterdamNL53 papers
- Radboud University NijmegenNL44 papers
- Vrije Universiteit AmsterdamNL42 papers
- University of Rome Tor VergataIT32 papers
- University College LondonGB31 papers
- Leiden UniversityNL30 papers
- Vrije Universiteit BrusselBE30 papers
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 21 cited
A Process Algebra for Supervisory Coordination
Jos Baeten, Bert van Beek, Allan van Hulst +1
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studie…
cs.LO2011
Towards reduction of Paradigm coordination models
Suzana Andova, Luuk Groenewegen, Erik de Vink
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistentl…