The following pages link to Maurice H. ter Beek (Q246443):
Displaying 13 items.
- Vector team automata (Q418753) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Modularity for teams of I/O automata (Q1041819) (← links)
- Compositionality of safe communication in systems of team automata (Q2037944) (← links)
- Infinite unfair shuffles and associativity (Q2373763) (← links)
- Synchronized shuffles (Q2566012) (← links)
- A Calculus for Team Automata (Q2873606) (← links)
- Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence (Q3009338) (← links)
- ON COMPETENCE IN CD GRAMMAR SYSTEMS WITH PARALLEL REWRITING (Q3401491) (← links)
- (Q5507055) (← links)
- Research Challenges in Orchestration Synthesis (Q6197380) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)
