Processes as data types: Observational semantics and logic -- Metric pomset semantics for a concurrent language with recursion -- Fault-tolerant naming and mutual exclusion -- Flow event structures and flow nets -- Three equivalent semantics for CCS -- Towards a semantic approach to SIMD architectures and their languages -- Concerning the size of clocks -- Transition systems with algebraic structure as models of computations -- Concurrency and computability -- Causal trees interleaving + causality -- Partially commutative formal power series -- Infinite traces -- Equivalences and refinement -- CCS and petri nets -- About fixpoints for concurrency -- Observers, experiments, and agents: A comprehensive approach to parallelism -- Action versus state based logics for transition systems -- Approaching fair computations by ultra metrics -- On distributed languages and models for distributed computation.