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

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 11.

Book Section

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 (doi:https://doi.org/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 (doi:https://doi.org/10.1007/978-90-481-3660-5_85)

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 (doi:https://doi.org/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 (doi:https://doi.org/10.1007/978-1-4020-8741-7)

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 (doi:https://doi.org/10.1007/978-1-4020-6268-1_16)

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.

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

Conference or Workshop Item

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.

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.

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.

Book

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

This list was generated on Sat Sep 21 04:50:28 2019 BST.