-
Branching cells for asymmetric event structures
27 pages. Part of a submission with co-authors. -
Trellis Processes : a Compact Representation for Runs of Concurrent Systems
In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner,... -
Formal Relationships Between Geometrical and Classical Models for Concurrency
International audience -
Implicit internal arguments, event structure, predication and anaphoric refer...
International audience
