- Maribel Fernández, Ian Mackie:
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(3), Elsevier 2006 [contents] - 2005
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
A Generalized Higher-Order Chemical Computation Model. DCM@ICALP 2005: 3-13 - Udi Boker, Nachum Dershowitz:
Abstract Effective Models. DCM@ICALP 2005: 15-23 - Antonio Cosentino, Marco Pedicini
, Francesco Quaglia:
Supporting Function Calls within PELCR. DCM@ICALP 2005: 107-117 - Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language. DCM@ICALP 2005: 37-47 - Sonia Fagorzi, Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract). DCM@ICALP 2005: 49-59 - Maribel Fernández, Ian Mackie:
Preface. DCM@ICALP 2005: 1-2 - Pablo Garralda, Adriana B. Compagnoni:
Splitting Mobility and Communication in Boxed Ambients. DCM@ICALP 2005: 61-71 - Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic Description of Generalized Binary Methods. DCM@ICALP 2005: 73-84 - Luigi Liquori:
iRho: the Software: [System Description]. DCM@ICALP 2005: 85-94 - Florin Manea, Carlos Martín-Vide, Victor Mitrana:
A Universal Accepting Hybrid Network of Evolutionary Processors. DCM@ICALP 2005: 95-105 - Simon Perdrix, Philippe Jorrand:
Classically-controlled Quantum Computation. DCM@ICALP 2005: 119-128 - Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
On Reversible Combinatory Logic. DCM@ICALP 2005: 25-35 - François-Régis Sinot:
Token-Passing Nets: Call-by-Need for Free. DCM@ICALP 2005: 129-139 - Haitong Xu, Sheng Yu:
Type Theory and Language Constructs for Objects with States. DCM@ICALP 2005: 141-151
