19 citations · 31 across the 12 of their papers we have counts for
3 papers · 1 filter
Overview and Roadmap of Team Automata
Maurice H. ter Beek, Rolf Hennicker, José Proença
Team Automata is a formalism for interacting component-based systems proposed in 1997, whereby multiple sending and receiving actions from concurrent automata can synchronise. Duri…
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2…
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, António Ravara
These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2…