![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | A. V. S. Rajan, S. Bavan, Geetha Abeysinghe: Semantics for the Specification of Asynchronous Communicating Systems (SACS). SCSS (1) 2007: 33-38 |
1997 | ||
1 | S. Bavan, Eleni Berki, Elli Georgiadou, M. Milankovic-Adkinson, M. J. Walker: Towards a Formal Specification of an Object-Oriented Architecture for Parallel Computing. PDPTA 1997: 1054- |
1 | Geetha Abeysinghe | [2] |
2 | Eleni Berki | [1] |
3 | Elli Georgiadou | [1] |
4 | M. Milankovic-Adkinson | [1] |
5 | A. V. S. Rajan | [2] |
6 | M. J. Walker | [1] |