|
Published: 30th July 2012 DOI: 10.4204/EPTCS.88 ISSN: 2075-2180 |
| Preface | |
| A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus Pablo Arrighi, Alejandro Díaz-Caro and Benoît Valiron | 1 |
| Completeness of algebraic CPS simulations Ali Assaf and Simon Perdrix | 16 |
| On the information-theoretic structure of distributed measurements David Balduzzi | 28 |
| A Calculus of Looping Sequences with Local Rules Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini and Angelo Troina | 43 |
| The Generic Model of Computation Nachum Dershowitz | 59 |
| A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract- Nachum Dershowitz and Evgenia Falkovich | 72 |
| On the Existence of Universal Finite or Pushdown Automata Manfred Kudlek | 79 |
| Probabilistic Monads, Domains and Classical Information Michael Mislove | 87 |
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