- 2024
- Sandra Alves, Ian Mackie:
Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. EPTCS 408, 2024 [contents] - 2023
- Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield:
Developments in Sheaf-Theoretic Models of Natural Language Ambiguities. DCM 2023: 62-72 - Matteo Acclavio
, Roberto Maieli:
Logic Programming with Multiplicative Structures. DCM 2023: 42-61 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Partial Typing for Asynchronous Multiparty Sessions. DCM 2023: 1-20 - Clemens Grabmayer:
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes. DCM 2023: 21-41 - Hsi-Ming Ho, Khushraj Madnani:
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics. DCM 2023: 73-89 - Shinya Sato:
Conditional Nested Pattern Matching in Interaction Net. DCM 2023: 90-106 - Federico Vastarini, Detlef Plump:
Random Graph Generation in Context-Free Graph Languages. DCM 2023: 107-120 - 2019
- Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019 [contents] - 2018
- Pawel Parys:
Intersection Types for Unboundedness Problems. DCM/ITRS 2018: 7-27 - Federico Aschieri:
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. DCM/ITRS 2018: 29-37 - Paola Giannini, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - Olivier Laurent:
Intersection Subtyping with Constructors. DCM/ITRS 2018: 73-84 - Joseph Razavi, Andrea Schalk:
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. DCM/ITRS 2018: 85-92 - Giulio Guerrieri:
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. DCM/ITRS 2018: 57-72 - 2016
- 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 [contents] - 2015
- Mahdi Amani, Abbas Nowzari-Dalini:
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. DCM 2015: 31-45 - Pablo Arrighi, Gilles Dowek:
Free fall and cellular automata. DCM 2015: 1-10 - Mauricio Ayala-Rincón:
Formalising Confluence in PVS. DCM 2015: 11-17 - Adrien Basso-Blandin, Walter Fontana, Russ Harmer:
A knowledge representation meta-model for rule-based modelling of signalling networks. DCM 2015: 47-59 - Edward Hermann Haeusler:
Finiteness and Computation in Toposes. DCM 2015: 61-77 - Pawel Sobocinski:
Compositional model checking of concurrent systems, with Petri nets. DCM 2015: 19-30 - 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. DCM 2015: 79-94 - Ugo Dal Lago, Russ Harmer:
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. EPTCS 179, 2015 [contents] - 2014
- Nachum Dershowitz, Evgenia Falkovich:
Cellular Automata are Generic. DCM 2014: 17-32 - Edward Hermann Haeusler:
Propositional Logics Complexity and the Sub-Formula Property. DCM 2014: 1-16 - Wolfram Kahl:
A Simple Parallel Implementation of Interaction Nets in Haskell. DCM 2014: 33-47 - Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 [contents] - Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 [contents] - 2013
- Pablo Arrighi, Simon Martiel, Zizhu Wang:
Causal Dynamics of Discrete Surfaces. DCM 2013: 30-40
