Concurrent Systems Engineering Series Volume 66: Communicating Process Architectures 2008 | Peter Welch, Jeremy Martin 2000 |
---|---|
Jon Kerridge, Alex Panayotopoulos, Patrick Lismore | "JCSPre: the Robot Edition to Control LEGO NXT Robots" |
"Formal Analysis of Concurrent Java Systems".
15