Items where Author / Artist / Editor is "Rajan, A. V. S."

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems. In: Innovations in computing science and software engineering. Sobh, Tarek and Elleithy, Khaled, eds. Springer, Netherlands, pp. 23-28. ISBN 9789048191116. [Book Section] (doi:10.1007/978-90-481-9112-3_5)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS). In: Advanced techniques in computing sciences and software engineering. Elleithy, Khaled, ed. Springer, London, UK, pp. 491-496. ISBN 9789048136599. [Book Section] (doi:10.1007/978-90-481-3660-5_85)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2009) Formalisms for the verification of parallel/distributed systems. In: CTIT 2009, 8-9 December 2009, Dubai. . [Conference or Workshop Item]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2009) Formalism for high level specification of parallel/distributed languages. In: Current Trends in Information Technology (CTIT): 2009 International Conference. Institute of Electrical and Electronics Engineers, pp. 19-25. ISBN 9781424457540. [Book Section] (doi:10.1109/CTIT.2009.5423121)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2008) Semantics for the specification of asynchronous communicating systems (SACS). In: Advances in computer and information sciences and engineering. Sobh, Tarek M., ed. Springer, New York, pp. 33-38. ISBN 9781402087400. [Book Section] (doi:10.1007/978-1-4020-8741-7)

Bavan, A. S., Rajan, A. V. S. and Abeysinghe, Geetha (2007) Asynchronous message passing architecture for a distributed programming language. In: The IADIS International conference on Applied Computing 2007, 17-20 February 2007, Salamanca, Spain. . [Conference or Workshop Item]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2007) Semantics for an asynchronous message passing system. In: Advances and innovations in systems, computing sciences and software engineering. Elleithy, Khaled, ed. Springer, pp. 83-88. ISBN 9781402062681. [Book Section] (doi:10.1007/978-1-4020-6268-1_16)

Bavan, A. S., Illingworth, E., Rajan, A. V. S. and Abeysinghe, Geetha (2007) Specification of asynchronous communicating systems (SACS). IADIS. ISBN 9789728924300. [Book]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for an asynchronous message passing system. In: International Conference on Systems, Computing Sciences and Software Engineering, CISSE 2006, 4 - 14 December 2006, Online. . [Conference or Workshop Item]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for a distributed programming language using SACS and weakest pre-conditions. In: ADCOM 2006 autonomic computing: proceedings. IEEE, pp. 434-439. ISBN 142440715X.. [Book Section]

Abeysinghe, Geetha, Bavan, A. S. and Rajan, A. V. S. (2004) Requirement specification for distributed applications using diagrammatic notations. In: Twelfth international conference on advances in computing & communications, ADCOM-2004: 15-18 December, 2004. Dasgupta, A. R., Iyengar, S. S. and Bhatt, Haresh S., eds. Allied Publishers, New Delhi, pp. 527-535. ISBN 8177647172. [Book Section]