External Links

    Journal: Fundamenta Informaticae

    Volume 130, Issue 1

    0 -- 0Berndt Müller, Melvin Fitting. Preface
    1 -- 20Christel Baier, Joachim Klein, Sascha Klüppelholz. Synthesis of Reo Connectors for Strategies and Controllers
    21 -- 65Gianluigi Bellin, Alessandro Menti. On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
    67 -- 97Iliano Cervesato, Thierry Sans. Substructural Meta-Theory of a Type-Safe Language for Web Programming
    99 -- 123Michael Köhler-Bußmeier. A Survey of Decidability Results for Elementary Object Systems
    125 -- 162Michael Mendler, Stephan Scheele. n for Contextual Information Processing
    runs on