A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction, pages 1-46

Authors: M. Aiguier, B. Kanso

Instruction Sequence Based Non-uniform Complexity Classes, pages 47-89

Authors: J.A. Bergstra, C.A. Middelburg

A Flat Process Calculus for Nested Membrane Interactions, pages 91-136

Authors: C. Bodei, L. Brodo, R. Bruni, D. Chiarugi

Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs, pages 137-171

Authors: R. De Castro, A. Ramírez, J.L. Ramírez