Skip to main content
SpringerLink
Log in
Book cover

Innovations in Computing Sciences and Software Engineering pp 23–28Cite as

Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems

  • Conference paper
  • First Online:

  • 1196 Accesses

Abstract

This paper presents the operational semantics for the message passing system for a distributed language called LIPS. The message passing system is based on a virtual machine called AMPS(Asynchronous Message Passing System) designed around a data structure that is portable and can go with any distributed language. The operational semantics that specifies the behaviour of this system uses structured operational semantics to reveal the intermediate steps that helps with analysis of its behaviour. We are able combine this with the big-step semantics that specifies the computational part of the language to produce a cohesive semantics for the language as a whole.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

 

  1. A. S. Bavan and E. Illingworth, A Language for Implementing Parallel and distributed Systems using asynchronous point-to-point communication (Nova Science Publishers, Inc., Commack, NY, USA, 2001), ISBN 159033-116-8.

    Google Scholar 

  2. E. Albert, M. Hanus, F. Huch, J. Olvier, and G. Vidal, in Proc. of the Int’l Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) (Elsevier Science Publishers, 2002), vol. 70 of Electronic Notes in Theoretical Computer Science.

    Google Scholar 

  3. D. Berry, R. Milner, and D. N. Turner, in Annual Symposium on Principles of Programming Languages, Proceedings of the 19th ACM SIGPLAN-SIGACT (1992), pp. 119–129.

    Google Scholar 

  4. K. Mitchell, Tech. Rep., LFCS report ECS-LFCS-94-311 (1994).

    Google Scholar 

  5. A. S. Bavan, A. V. S. Rajan, and G. Abeysinghe, in Proceedings of IADIS International Conference Applied Computing 2007, Salamanca, Spain (18th–20th February 2007) (IADIS, 2007), URL http://www.pms.ifi.lmu.de/publikationen/#REWERSE-RP-2007-012.

  6. A. V. S. Rajan, A. S. Bavan, and G. Abeysinghe, Semantics for an Asynchronous Message Passing System (Springer, 2007), vol. XVIII of Advances and Innovations in Systems, Computing Sciences and Software Engineering, ISBN 978-1-4020-6263-6.

    Google Scholar 

  7. A. V. S. Rajan, A. S. Bavan, and G. Abeysinghe, An equivalence theorem for the specification of asynchronous communication systems(SACS) and Asynchronous Message Passing Systems(AMPS) (Springer, Due in 2010), Advanced Techniques in Computing Sciences and Software Engineering, ISBN 978-90-481-3659-9.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dubai Women’s College - Higher Colleges of Technology, Dubai, UAE

    Amala VijayaSelvi Rajan

  2. Middlesex University, London, UK

    Arumugam Siri Bavan & Geetha Abeysinghe

Authors
  1. Amala VijayaSelvi Rajan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arumugam Siri Bavan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Geetha Abeysinghe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Amala VijayaSelvi Rajan .

Editor information

Editors and Affiliations

  1. School of Engineering, University of Bridgeport, University Avenue 221, Bridgeport, 06604, USA

    Tarek Sobh

  2. School of Engineering, University of Bridgeport, University Avenue 221, Bridgeport, 06604, USA

    Khaled Elleithy

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this paper

Cite this paper

Rajan, A.V., Bavan, A.S., Abeysinghe, G. (2010). Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems. In: Sobh, T., Elleithy, K. (eds) Innovations in Computing Sciences and Software Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9112-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-90-481-9112-3_5

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-9111-6

  • Online ISBN: 978-90-481-9112-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation