Published: 30th March 2014
DOI: 10.4204/EPTCS.144
ISSN: 2075-2180

EPTCS 144

Proceedings 9th International Workshop on
Developments in Computational Models
Buenos Aires, Argentina, 26 August 2013

Edited by: Mauricio Ayala-Rincón, Eduardo Bonelli and Ian Mackie

Preface
Mauricio Ayala-Rincón, Eduardo Bonelli and Ian Mackie
The probability of non-confluent systems
Alejandro Díaz-Caro and Gilles Dowek
1
Proof-graphs for Minimal Implicational Logic
Marcela Quispe-Cruz, Edward Hermann Haeusler and Lew Gordeev
16
Causal Dynamics of Discrete Surfaces
Pablo Arrighi, Simon Martiel and Zizhu Wang
30
A Calculus of Located Entities
Adriana Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo and Vishakha Sharma
41
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda and Juan Francisco Díaz-Frias
57
Using HMM in Strategic Games
Mario Benevides, Isaque Lima, Rafael Nader and Pedro Rougemont
73

Preface

This volume contains the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.

Several new models of computation have emerged in the last years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development.

The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2013 was a one-day satellite event of CONCUR 2013. This is the 9th event in the series since 2005 - see the DCM website for details of previous events.

Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems. This includes (but is not limited to):

The Programme Committee selected seven papers for presentation at DCM 2013. In addition, the programme included invited talks by Verónica Becher, University of Buenos Aires, CONICET, Argentina, (Turing’s Normal Numbers: Towards Randomness) and Joos Heintz, University of Buenos Aires, CONICET, Argentina, (Quiz games: a new approach to information hiding based algorithms in scientific computing). After the workshop, authors were invited to submit a version for the proceedings that were refereed again. Six papers were selected, and are included in this volume.

Many people helped to make DCM 2013 a success. In particular, we wish to thank the CONCUR 2013 organisation team. We are also grateful to the external referees for their careful and efficient work in the reviewing process, and in particular the programme committee members: Pablo Arrighi, Pablo Barceló, Mario Benevides, Paola Bonizzoni, Nachum Dershowitz, Ruben Gamboa, Rajeev Goré, Holger Hermanns, Nao Hirokawa, Jean Krivine, Luis Lamb, Cesar Muñoz, Carlos Olarte, Femke van Raamsdonk, Camilo Rocha, Nora Szasz and René Thiemann.

Mauricio Ayala-Rincón, Eduardo Bonelli and Ian Mackie
DCM 2013 co-chairs