19 citations · 86 across the 21 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 3 cited
Open Transactions on Shared Memory
Marino Miculan, Marco Peressotti, Andrea Toneguzzo
Transactional memory has arisen as a good way for solving many of the issues of lock-based programming. However, most implementations admit isolated transactions only, which are no…
cs.DC2015
Distributed execution of bigraphical reactive systems
Alessio Mansutti, Marino Miculan, Marco Peressotti
The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings a…