1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. The esterel synchronous programming language: Design, semantics, implementation;Berry;Science of Computer Programming,1992
3. Modeling coordination via asynchronous communication;Brogi,1997
4. Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching;Brogi;Fundamenta Informaticae,2006
5. Linda in context;Carriero;Communications of the ACM,1989