Loading...
Please wait, while we are loading the content...
Similar Documents
◾ Representing Distributed Algorithms: Syntax and Semantics
| Content Provider | Scilit |
|---|---|
| Author | Ghosh, Sukumar |
| Copyright Year | 2014 |
| Description | We structure programs as follows. To name a particular program, we will use program in the opening line. e variables and constants of a program will be introduced in the define section, and any initial values will be separately declared in the initially section. is will be followed by the program statements. We will designate a message as a variable of type message. If the structure of the message is important, then we will optionally dene it as a record. us, a message m with three components a, b, c will be denoted as follows: e individual components of m will be designated by m.a, m.b, and m.c. For representing other forms of structured data, we will freely use Pascal-like notations. Book Name: Distributed Systems |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2012-0-00608-2&isbn=9780429192357&doi=10.1201/b17224-8&format=pdf |
| DOI | 10.1201/b17224-8 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2014-07-14 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Distributed Systems Hardware and Architecturee Structure Semantics Pascal Notations Statements M.c Declared Freely M.a M.b |
| Content Type | Text |
| Resource Type | Chapter |
