Published: 30th July 2012
DOI: 10.4204/EPTCS.88
ISSN: 2075-2180


Proceedings 7th International Workshop on
Developments of Computational Methods
Zurich, Switzerland, 3rd July 2011

Edited by: Elham Kashefi, Jean Krivine and Femke van Raamsdonk

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
Pablo Arrighi, Alejandro Díaz-Caro and Benoît Valiron
Completeness of algebraic CPS simulations
Ali Assaf and Simon Perdrix
On the information-theoretic structure of distributed measurements
David Balduzzi
A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini and Angelo Troina
The Generic Model of Computation
Nachum Dershowitz
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-
Nachum Dershowitz and Evgenia Falkovich
On the Existence of Universal Finite or Pushdown Automata
Manfred Kudlek
Probabilistic Monads, Domains and Classical Information
Michael Mislove


This volume contains the papers presented at the 7th International Workshop on Developments in Computational Models (DCM 2011). DCM 2011 was held in Zürich, Switserland, on Sunday July 3, 2011, as a satellite event of ICALP 2011.

The main theme of the DCM workshop series is new computational models. The aim of the workshop is to bring together researchers who are currently developing new computational models, or new features of a traditional one. Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems.

The programme of DCM 2011 consisted of eight contributed talks. We would like to thanks the authors of the submitted papers, the members of the program committee, and their subreviewers for their contributions to the workshop, and to this volume. During the preparation of this volume, we heard the sad news that Manfred Kudlek, the author of one of the contributed papers, passed away in June 2012.

In addition to the contributed talks, the workshop had an invited tutorial Quantum Information Processing on Tensor-Network States by Tomoyuki Moriame, and two invited talks: Algebras of the Brain by Erwin Engeler, and Quantum Entanglement by Matthias Christandl. We would like to thank the invited speakers for their talks, and more in general for their contribution to the meeting. We would like to thank the organizing committee of ICALP 2011 for the excellent organization and facilities. Finally, we are very grateful to EPTCS for publishing these proceedings, and we would like to mention in particular the coaching by editor Rob van Glabbeek during the preparation of this volume.

Elham Kashefi
Jean Krivine
Femke van Raamsdonk

Program Committee

Erika Andersson, Heriot-Watt University, UK
Nachum Dershowitz, Tel Aviv University, Israel
Eleni Diamanti, CNRS and Telecom ParisTech, France
Lucas Dixon, Google, USA
Elham Kashefi, University of Edinburgh, UK (co-chair)
Delia Kesner, CNRS and Université Paris Diderot, France
Hélène Kirchner, INRIA, France
Heinz Koeppl, ETH Zurich, Switzerland
Jean Krivine, CNRS and Université Paris Diderot, France (co-chair)
Michael Mislove, Tulane University, USA
Mio Murao, University of Tokyo, Japan
Vincent van Oostrom, Utrecht University, The Netherlands
Femke van Raamsdonk, VU University Amsterdam, The Netherlands (co-chair)
Paul Ruet, CNRS and Institut de Mathématiques de Luminy, France
Aaron Stump, University of Iowa, USA

Additional Reviewers

Oana Andrei
Evgenia Falkovich
Simon Gay
Clemens Grabmayer
Aleks Kissinger
Raymond Lal
Tatjana Petrov
Benoît Valiron