635 citations
- U. Ebert2 profiles22 · h 43
- R. Hofstad14 · h 40
- S. Kokkelmans2 profiles8 · h 19
- A. Luque6 · h 25
- D. Mizuno2 profiles6 · h 22
- Johan S. H. van Leeuwaarden5
- S. Jabbari-Farouji5 · h 19
- S. J. J. M. F. Kokkelmans5
- T. Briels2 profiles5 · h 7
- Ute Ebert2 profiles5 · h 13
- W. Hundsdorfer2 profiles5 · h 35
- A. Cohen2 profiles4 · h 27
- Centrum Wiskunde & InformaticaNL35 papers
- Delft University of TechnologyNL12 papers
- University of AmsterdamNL11 papers
- Radboud University NijmegenNL9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Leiden UniversityNL8 papers
- Vrije Universiteit AmsterdamNL8 papers
- Philips (Netherlands)NL7 papers
- California Institute of TechnologyUS5 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Max Planck SocietyDE4 papers
- NXP (Netherlands)NL4 papers
14 papers · 1 filter
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
D. Latella, M. Massink, E. P. de Vink
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they cons…
Expressiveness and Completeness in Abstraction
Maciej Gazda, Tim A. C. Willemse
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according t…
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…
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…
Robustness of Equations Under Operational Extensions
Peter D. Mosses, MohammadReza Mousavi, Michel A. Reniers
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are…
Hierarchical states in the Compositional Interchange Format
H. Beohar, D. E. Nadales Agut, D. A. van Beek +1
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other lan…