16 citations · 39 across the 21 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2011
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
Mohammad Reza Mousavi, Antonio Ravara
Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous…