Formal Semantics for LIPS: (Language for Implementing Parallel/distributed Systems) - Softcover

Rajan, Amala

Softcover

ISBN 10: 3846591092 ISBN 13: 9783846591093

Publisher: LAP LAMBERT Academic Publishing, 2011

Synopsis

LIPS Abstract Machine (LAM) is a very simple and easy to understand abstract machine. Will surely recommend this to the industry! - Balamurugan Shanmugam, QA Team Head The thesis is simple to read and easy to understand. The Structural Operational Semantics (SOS) to describe the asynchronous message passing of LIPS reads so simple and can be learnt svery quickly. I feel this is an excellent work for researchers who would like to work on asynchronous communicating systems - Jasmine Santiago, Software Consultant, Caterpillar Inc, USA The author provides formal semantics for Language for Implementing Parallel/distributed Systems (LIPS), which is a well known point-to-point asynchronous message passing language that combines dataflow computing techniques with the use of guarded processes, and with advantages such as being simple, portable, handling communication efficiently as well as avoiding deadlock and livelock problems. Furthermore, by implementing Asynchronous Message Passing System (AMPS) in the LIPS compiler, the author manages to avoid the use of buffers for asynchronous communication - Dr. Ever, Lecturer in the School of Engg. and Information Sciences, Middlesex University,UK

About this title

About the Author

Dr. Amala Rajan has been working in the academic and research industry for the past 21 years. She served in various institutions in the UAE, United Kingdom, Malaysia, and India. Dr. Rajan is an active researcher and carried out many major funded research projects and published in reputed journals in formal semantics, software engineering etc.

Edition details

• Publisher: LAP LAMBERT Academic Publishing
• Publication date: 2011
• Language: English
• ISBN 10: 3846591092
• ISBN 13: 9783846591093
• Binding: Paperback
• Number of pages: 148