Searching for "The Multiway Rendezvous." – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Specification and Validation of Control Intensive ICs in hopCP
- …, on the other hand, much more readable. hopCP supports multiway rendezvous. This means that the sender and all…
- Cited by 1 (1 self) – Add To MetaCart
-
R-SHIM: Deterministic concurrency with recursion and shared variables
- … information to called procedures and augments it with multiway rendezvous for communication among…
- Cited by 2 (0 self) – Add To MetaCart
-
2006 4th IEEE/ACM International Conference on Formal Methods and Models for Co-Design R-SHIM: Deterministic Concurrency with Recursion and Shared Variables
- … and augments it with multiway rendezvous for communication among concurrentlyrunning procedures. The result…
- Add To MetaCart
-
The Nondeterministic Divide
- … of diva procedures arose naturally from a project to implement multiway rendezvous activities in log time…
- Cited by 1 (1 self) – Add To MetaCart
-
New Mechanisms for Invocation Handling in Concurrent Programming Languages
- … Rendezvous The multi-way rendezvous [18] is a generalization of rendezvous in which more than two processes…
- Cited by 2 (1 self) – Add To MetaCart
-
Static Deadlock Detection in SHIM with an Automata Type Checking System
- … rendezvous style of communication. It is guaranteed to be deterministic: a program written in SHIM has…
- Add To MetaCart
-
Adding Threads to Standard ML
- …'s multiway rendezvous [14]. (See Section B.3 for an implementation of rendezvous and select.) ffl Reppy…
- Cited by 59 (4 self) – Add To MetaCart
-
Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Style Approach
- … multiway rendezvous, on the gate S_User, of three behaviors: (Caller ||| Called), Controller and Users…
- Cited by 25 (5 self) – Add To MetaCart
-
A Comprehensive Study of the Complexity of Multiparty Interaction
- … rendezvous to multiway rendezvous involving a callee and an arbitrary number of callers. As in Ada, the role…
- Cited by 24 (8 self) – Add To MetaCart
-
On combining functional verification and performance evaluation using CADP
- … concisely using Lotos multiway rendezvous. This Lotos specification 4 served as a basis for model…
- Cited by 17 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
