Titlebook: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency; School/Workshop, Noo J. W. Bakker,W. -P. Roever,G. Roze

Nuance

Fully abstract models for a process language with refinement,tion-sequences and step-sequences — defined for a very simple process language and its extensions with a refinement combinator (change of atomicity). The denotational models are all expressed as abstractions of a standard association of sets of labelled partial orders with processes.

Insulin

用樹皮

THE

Time, logic and computation,ar continuity of logical concerns emerges between philosophy, linguistics and computer science. But, the latter adds several new themes and perspectives which might well give it a significant impact on the earlier standard enterprise.

送秋波

先兆

服從

Basic notions of trace theory,owing topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.