Sentence examples for communication sequential from inspiring English sources

The concurrent process algebra Communication Sequential Processes (CSP) and its executable counterpart, occam, are increasingly advocated as particularly suitable for this purpose.

Modeling and analysis of security protocols with communication sequential process (CSP) [12] and failure-divergence refinement (FDR) [13] have been proven to be effective in discovering attacks in many protocols such as [14 16].

For example, Erlang [2] and related systems adopt channel-based communication and a CSP-like style (Communicating Sequential Processes [3]) to leverage streaming for distributed computing applications.

Programmatically, the Communicating Sequential Processes (CSPs) paradigm provides a sound computational model for such an architecture with message based communication.

In addition to numerous papers, Hoare's published works include Communicating Sequential Processes (1985); Mathematical Logic and Programming Languages (1985), with John C. Shepherdson; Essays in Computing Science (1989), with Clifford B. Jones; and Developments in Concurrency and Communication (1991).

Communicating Sequential Processes.

We distinguish between transmission overhead, which we define as the amount of data transmitted during a query, the number of sequential communication rounds between the mediator and the SP to answer a query and the number of entries that need to be touched by the SP in order to evaluate a query.

Fertilization is a complex event that requires sperm-egg communication and involves several sequential steps to finally generate a new organism.

It's not even clear that architectural communication is best understood as sequential; Langer (1967), for example, suggests that the symbolic communication of architectural objects is instead holistic.

For these parallel implementations and from up to 16 processors, communication cost (which is a sequential part) becomes significant.

The corresponding "criss-cross" communication is mediated by the sequential activation of cell-type-specific sigma factors termed σE, σF, σG, and σK (Kroos et al., 1989; Losick and Stragier, 1992).