Formal Semantics for LIPS

Formal Semantics for LIPS


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

₹ 4,396

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back in stock)

  • Product Description

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

Product Specifications
SKU :COC72865
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08
0 Review(s)