Login / Signup
S. Bavan
Publication Activity (10 Years)
Years Active: 1997-2007
Publications (10 Years): 0
</>
Publications
</>
A. V. S. Rajan
,
S. Bavan
,
Geetha Abeysinghe
Semantics for the Specification of Asynchronous Communicating Systems (SACS).
SCSS (1)
(2007)
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)