Titlebook: Seminar on Concurrency; Carnegie-Mellon Univ Stephen D. Brookes,Andrew William Roscoe,Glynn Win Conference proceedings 1985 Springer-Verlag

推迟

Concurrent behaviour: Sequences, processes and axioms,ing, the class of behaviours defined by the two semantics is the same, but that it is difficult to find a "nice" relationship between sequences and processes. We also discuss one of the process axioms which is particularly interesting on intuitive grounds. Finally, we define the notion of a process

挖掘

连词

Hallmark

anachronistic

肌肉

entrance

Maximally concurrent evolution of non-sequential systems,ly concurrent semantics and "normal" semantics is developed. Some sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of non-sequential systems the COSY path expression formalism is used.

亲爱

Denotational semantics for occam,ets" model modified to allow machine states to be properly dealt with. The applications of the semantics are discussed briefly, and we see how the natural congruence induced by the semantics allows us to prove simple algebraic laws relating occam programs.

无可争辩

Denotational models based on synchronously communicating processes: Refusal, acceptance, safety,oach gives rise to a natural treatment of the . operation not possible in the . model. In addition, we employ the above technique to construct acceptance-refusal models leading to similar satisfactory treatments of ..

声明

An improved failures model for communicating processes,We extend the failures model of communicating processes to allow a more satisfactory treatment of divergence in addition to deadlock. The relationship between the revised model and the old model is discussed, and we make some connections with various models proposed by other authors.