Titlebook: Semantics of Concurrent Computation; Proceedings of the I Gilles Kahn Conference proceedings 1979 Springer-Verlag Berlin Heidelberg 1979 ED

Malleable

lipids

Non-deterministic system specification,m specification : definitions are given for a system, a halting system, abstraction and implementation, and finally for the extension and refinement of a system. The notion of an invariant function is extended to that of an almost invariant function..In a second part, we apply this formalism to the

性上瘾

On properties preserved by contractions of concurrent systems,n abstract by a concrete system. We give several examples and investigate some specific behavioral properties (such as nontermination) which might be preserved by contractions or their inverses. In the second part of the paper, we use model theory to study the decidability properties of the set of s

ornithology

Gyrate

Keratin

The analysis of distributed systems by means of predicate/transition-nets, nets are . of ‘ordinary’ Petri nets. The places (circles) of Pr/T-nets represent changing properties of, or relations between, individuals; they are ‘predicates’ with variable extension. A current case of a system modelled by a Pr/T-net is denoted by marking the places with those tuples of individu

就职

的事物

On the absence of livelocks in parallel programs,e formalized. A classification of livelocks into two types according to their causes of formation is introduced. Two techniques for proving the absence of livelocks are also presented. One is based on the notion of problem reduction; the other is an extension of the well-founded set method for provi

osculate

轻推