External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 229, Issue 5

    1 -- 2Venanzio Capretta, Conor McBride. Preface
    3 -- 17Andreas Abel, Thorsten Altenkirch. A Partial Type Checking Algorithm for Type: Type
    19 -- 37Robert Atkey. What is a Categorical Model of Arrows?
    39 -- 56Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
    57 -- 74Alcino Cunha, Hugo Pacheco. Algebraic Specialization of Generic Functions for Recursive Types
    75 -- 95Mauro Jaskelioff, Neil Ghani, Graham Hutton. Modularity and Implementation of Mathematical Operational Semantics
    97 -- 117Sam Lindley, Philip Wadler, Jeremy Yallop. Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
    119 -- 134Benoît Razet. Simulating Finite Eilenberg Machines with a Reactive Engine
    135 -- 157Tarmo Uustalu, Varmo Vene. The Recursion Scheme from the Cofree Recursive Comonad

    Volume 229, Issue 4

    1 -- 2Matthew Hennessy, Bartek Klin. Preface
    3 -- 10Vincent Danos. Agile Modelling of Cellular Signalling (Invited Paper)
    11 -- 26Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink. MarCaSPiS: a Markovian Extension of a Calculus for Services
    27 -- 47Eike Best, Kerstin Strecker. Relational Semantics Revisited
    49 -- 66Peter D. Mosses, Mark J. New. Implicit Propagation in Structural Operational Semantics
    67 -- 84Gustavo A. Ospina, Baudouin Le Charlier. Formalisation of C Language Interfaces
    85 -- 106Muck van Weerdenburg, Michel A. Reniers. Structural Operational Semantics with First-Order Logic
    107 -- 118Muck van Weerdenburg. Automating Soundness Proofs

    Volume 229, Issue 3

    1 -- 2Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto. Preface
    3 -- 18Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade. Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
    19 -- 35Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte. Security Policies Enforcement Using Finite Edit Automata
    37 -- 58Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente. On Symbolic Semantics for Name-decorated Contexts
    59 -- 76Luca Fossati, Daniele Varacca. A Petri Net Model of Handshake Protocols
    77 -- 95Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke. Symmetric and Asymmetric Asynchronous Interaction
    97 -- 115Tobias Heindel. Towards Secrecy for Rewriting in Weakly Adhesive Categories
    117 -- 129Matthew Hennessy, Manish Gaur. Counting the Cost in the Picalculus (Extended Abstract)
    131 -- 144Julian Rathke, Pawel Sobocinski. Making the Unobservable, Unobservable

    Volume 229, Issue 2

    1 -- 2Carlos Canal, Pascal Poizat, Marjan Sirjani. Preface
    3 -- 20Suzana Andova, Luuk Groenewegen, Erik P. de Vink. Dynamic Consistency in Process Algebra: From Paradigm to ACP
    21 -- 41Farhad Arbab, Meng Sun, Christel Baier. Synthesis of Reo Circuits from Scenario-based Specifications
    43 -- 58Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab. Deconstructing Reo
    59 -- 75Peter Y. H. Wong, Jeremy Gibbons. A Relative Timed Semantics for BPMN
    77 -- 93Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich. Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks
    95 -- 113Kevin Marth, Shangping Ren. The ARC Programming Model - Language Constructs for Coordination
    115 -- 131José Antonio Martín, Ernesto Pimentel. Automatic Generation of Adaptation Contracts
    133 -- 153Yue Yu, Shangping Ren, Carolyn L. Talcott. Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
    155 -- 174Samira Tasharofi, Marjan Sirjani. Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

    Volume 229, Issue 1

    1 -- 2Nicola Cannata, Emanuela Merelli, Irek Ulidowski. Preface
    3 -- 19Paolo Ballarini, Radu Mardare, Ivan Mura. Analysing Biochemical Oscillation through Probabilistic Model Checking
    21 -- 39Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. Spatial Calculus of Looping Sequences
    41 -- 58Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei. Model Checking Biological Oscillators
    59 -- 74Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland. Improved Continuous Approximation of PEPA Models through Epidemiological Examples
    75 -- 92Luca Bortolussi, Alberto Policriti. The Importance of Being (A Little Bit) Discrete
    93 -- 108Dario Campagna, Carla Piazza. Hybrid Automata in Systems Biology: How Far Can We Go?
    109 -- 125Igor Cappello, Paola Quaglia. A Translation of Beta-binders in a Prioritized Pi-calculus
    127 -- 144Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips. A Process Model of Actin Polymerisation
    145 -- 163Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder. Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
    165 -- 182Alessio Coletta, Roberta Gori, Francesca Levi. Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
    runs on