![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
1st DCM@ICALP 2005: Lisbon, Portugal
- 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 - Maribel Fernández, Ian Mackie:
Preface. 1-2 - Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
A Generalized Higher-Order Chemical Computation Model. 3-13 - Udi Boker, Nachum Dershowitz:
Abstract Effective Models. 15-23 - Alessandra Di Pierro
, Chris Hankin
, Herbert Wiklicky:
On Reversible Combinatory Logic. 25-35 - Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language. 37-47 - Sonia Fagorzi, Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract). 49-59 - Pablo Garralda, Adriana B. Compagnoni:
Splitting Mobility and Communication in Boxed Ambients. 61-71 - Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic Description of Generalized Binary Methods. 73-84 - Luigi Liquori
:
iRho: the Software: [System Description]. 85-94 - Florin Manea, Carlos Martín-Vide, Victor Mitrana:
A Universal Accepting Hybrid Network of Evolutionary Processors. 95-105 - Antonio Cosentino, Marco Pedicini
, Francesco Quaglia:
Supporting Function Calls within PELCR. 107-117 - Simon Perdrix, Philippe Jorrand:
Classically-controlled Quantum Computation. 119-128 - François-Régis Sinot:
Token-Passing Nets: Call-by-Need for Free. 129-139 - Haitong Xu, Sheng Yu:
Type Theory and Language Constructs for Objects with States. 141-151
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.