We introduce a new paradigm for concurrency, called behaviors-as- types. In this paradigm, types are used to convey information about the behavior of processes: while terms corresponds to processes, types correspond to behaviors. We apply this paradigm ...

Configuration structures provide a model of concurrency generalizing the families of configurations of event structures. They can be considered logically, as classes of propositional models; then sub-classes can be axiomatised by formulae of simple ...

Action calculi are a class of action structures with added structure. Each action calculus AC(K) is determined by a set K of controls, equipped with reaction rules; calculi such as Petri nets, the typed lambda calculus and the pi calculus are obtained ...