2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
Francisco Parrinha, João Mota, António Ravara
Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour…
cs.SE2020★ 2 cited
Typestates to Automata and back: a tool
André Trindade, João Mota, António Ravara
Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended…