Searching for "Semantics of Communicating Processes" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Timed Network Semantics for Communicating Processes
- …Timed Network Semantics for Communicating Processes Damas P. GRUSKA y - Andrea MAGGIOLO…
- Cited by 1 (1 self) – Add To MetaCart
-
Separation Logic Semantics of Communicating Processes
- …FICS 2008 Separation Logic Semantics for Communicating Processes Tony Hoare Microsoft Research…
- Cited by 2 (0 self) – Add To MetaCart
-
What is a State of a System? (an outline)
- …). This note points to a possible approach for dening the semantics of communicating processes. We dene…
- Cited by 4 (4 self) – Add To MetaCart
-
Towards a Design Assistant for Communicating Systems
- … systems which combines the readiness semantics of communicating processes with the state aspect…
- Cited by 1 (1 self) – Add To MetaCart
-
Idealized CSP: Combining Procedures with Communicating
- … communications into state In traditional accounts of the semantics of communicating processes channel names (or…
- Cited by 9 (8 self) – Add To MetaCart
-
Eds, Say not to say: New perspectives on miscommunication
- … any longer, and have underlined semantic and communicative processes that lead to meaning variability…
- Cited by 1 (1 self) – Add To MetaCart
-
A Semantic Theory for Value-Passing Processes Late Approach - Part I: A Denotational . . .
- … to contribute to the studies of the late semantics of communicating processes. We will concentrate on processes…
- Cited by 8 (4 self) – Add To MetaCart
-
Modeling and Designing Heterogeneous Systems
- … receive them. The medium in the middle denes the semantics of this communication. Processes are active…
- Cited by 26 (8 self) – Add To MetaCart
-
Integrated semantics for information and communication systems
- … of communication processes. To describe the semantics of these communication processes, we need to specify…
- Cited by 17 (8 self) – Add To MetaCart
-
A Language/Action perspective on Cooperative Information Agents
- …, such as appeals to warrant. To describe the semantics of communication processes, we need to specify the meaning…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
