![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11th DCM 2016: Cali, Colombia
- César A. Muñoz, Jorge A. Pérez
:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 - Pablo Arrighi, Gilles Dowek
:
Free fall and cellular automata. 1-10 - Mauricio Ayala-Rincón
:
Formalising Confluence in PVS. 11-17 - Pawel Sobocinski
:
Compositional model checking of concurrent systems, with Petri nets. 19-30 - Mahdi Amani
, Abbas Nowzari-Dalini:
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. 31-45 - Adrien Basso-Blandin, Walter Fontana, Russ Harmer:
A knowledge representation meta-model for rule-based modelling of signalling networks. 47-59 - Edward Hermann Haeusler:
Finiteness and Computation in Toposes. 61-77 - Mauricio Toro
, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.
:
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. 79-94
![](https://dblp.uni-trier.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.