Cited By
View all- Albert EFlores-Montoya AGenaim SMartin-Martin E(2015)May-Happen-in-Parallel Analysis for Actor-Based ConcurrencyACM Transactions on Computational Logic10.1145/282425517:2(1-39)Online publication date: 22-Dec-2015
- Sewell PWojciechowski PUnyapoth A(2010)Nomadic pictACM Transactions on Programming Languages and Systems10.1145/1734206.173420932:4(1-63)Online publication date: 22-Apr-2010
- Caromel DHenrio LSerpette B(2009)Asynchronous sequential processesInformation and Computation10.1016/j.ic.2008.12.004207:4(459-495)Online publication date: 1-Apr-2009
- Show More Cited By