20 citations · 52 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 4 cited
Realisability of Pomsets via Communicating Automata
Roberto Guanciale Dr, Emilio Tuosto Dr
Pomsets are a model of concurrent computations introduced by Pratt. They can provide a syntax-oblivious description of semantics of coordination models based on asynchronous messag…
cs.PL2018★ 2 cited
Sound Transpilation from Binary to Machine-Independent Code
Roberto Metere, Andreas Lindner, Roberto Guanciale
In order to handle the complexity and heterogeneity of mod- ern instruction set architectures, analysis platforms share a common design, the adoption of hardware-independent interm…