Models for CSP with availability information

Models for CSP with availability information,10.4204/EPTCS.41.7,Electronic Proceedings in Theoretical Computer Science,Gavin Lowe

Models for CSP with availability information   (Citations: 2)
BibTex | RIS | RefWorks Download
We consider models of CSP based on recording what events are available as possible alternatives to the events that are actually performed. We present many different varieties of such models. For each, we give a compositional semantics, congruent to the operational semantics, and prove full abstraction and no-junk results. We compare the expressiveness of the different models.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Programming constructs that can test the presence of actions or events are studied in the context of the Linda language [3] and CSP [16,17]...
    • ...The work [16] studies CSP with a construct that checks if a parallel process is able to perform an output action on a given channel and a subsequent work [17] investigates the expressiveness of its variants focusing on the full abstraction theorem of the trace equivalence...
    • ...Our calculi (1,2,3,4) are Turing powerful and we aim to examine properties and applications of the typed bisimilarity characterised by buffered sessions: on the other hand, the focus of [3] is a tuple space where our input/output order preserving examples (which treat different objects with the same session channel) cannot be naturally (and efficiently) defined. The same point applies to [16,17]...
    • ...As another difference, the nature of localities has not been considered either in [3,16,17] since no notion of a local or remote tuple or environment is defined...
    • ...Further, none of the above work [3,16,17,22,1] treats large applications which include these constructs (§ 4) or the performance analysis of the proposed primitives...

    Dimitrios Kouzapaset al. On Asynchronous Session Semantics

Sort by: