Plain CHOCS A second generation calculus for higher order processes Bent Thomsen OriginalPaper Pages: 1 - 59
Logical and schematic characterization of complexity classes Iain A. Stewart OriginalPaper Pages: 61 - 87
Recognizable trace languages, distributed automata and the distribution problem Antoine Petit OriginalPaper Pages: 89 - 101