Page
%P
22 Result(s)
within
Chapter
M. Brambilla
-
Chapter and Conference Paper
On the Logic of Concurrency and Conflict
Concurrent actions and non sequential processes are fundamental in any kind of system, not only computing systems; hence, an adequate formalization of these notions is required in order to understand systems a...
-
Chapter and Conference Paper
An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages
