User Tools

Site Tools


wp3_list

This is an old revision of the document!


List of WP3 Publications

A. Lluch Lafuente, M. Loreti and U. Montanari: A Fixpoint-Based Calculus for Graph-Shaped Computational Fields, COORDINATION 2015, Springer LNCS 9037, pp. 101–116, 2015. Best Paper award for COORDINATION 2015

C. Bodei, L. Brodo, R. Bruni, D. Chiarugi: A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comp. Sci. 24(1): 91-136 (2014)

D. Pianini, M. Viroli, J. Beal: Protelis: practical aggregate programming. Proceedings of SAC 2015: 1846-1853, ACM 2015

E. Merelli, M. Rasetti: Non locality, Topology, Formal languages: New Global Tools to Handle Large Data Sets. ICCS 2013: 90-99, Procedia Computer Science 18, Elsevier 2013

E. Merelli, N. Paoletti, L. Tesei: Adaptability checking in complex systems. Sci. Comput. Program. 115-116: 23-46 (2016)

F. Damiani, M. Viroli, D. Pianini, J. Beal: Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128, Lecture Notes in Computer Science 9039, Springer 2015

F. Damiani, M. Viroli, J. Beal: A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016)

F. Damiani, M. Viroli: Type-based Self-stabilisation for Computational Fields. Logical Methods in Computer Science 11(4) (2015)

I. Lanese, F. Montesi, G. Zavattaro: Amending Choreographies. WWV 2013: 34-48, Electronic Proceedings in Theoretical Computer Science 123, 2013

I. Lanese, L. Bedogni, M. Di Felice: Internet of things: a process calculus approach. SAC 2013: 1339-1346, ACM 2013

J. Beal, D. Pianini, M. Viroli: Aggregate Programming for the Internet of Things. IEEE Computer 48(9): 22-30 (2015)

J. Beal, M. Viroli: Space-time programming. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 373 (2015)

M. Bravetti, M. Carbone, T. T. Hildebrandt, I. Lanese, J. Mauro, J. A. Pérez, G. Zavattaro: Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14, Lecture Notes in Computer Science 8368, Springer 2013

M. Bravetti: Formalizing RESTful Services and Web-OS Middleware. WS-FM 2013: 48-68, Lecture Notes in Computer Science 8379, Springer 2014.

M. Viroli, F. Damiani: A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178, Lecture Notes in Computer Science 8459, Springer 2014, Best paper at Discotec 2014.

M. Viroli, J. Beal, F. Damiani, D. Pianini: Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. Proceedings of SASO 2015: 81-90, IEEE Computer Society

P. Baldan, F. Bonchi, F. Gadducci, G. M. Monreale: Concurrency cannot be observed, asynchronously. Mathematical Structures in Computer Science 25(4): 978-1004 (2015)

P. Baldan, F. Bonchi, F. Gadducci, G. M. Monreale: Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16

P. Baldan, F. Bonchi, F. Gadducci, G. M. Monreale: Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015)

P. Baldan, F. Bonchi, F. Gadducci, G. V. Monreale: Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, A. Vandin: A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, A. Vandin: Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, A. Vandin: Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015)

R. Bruni, A. Corradini, F. Gadducci, M. Hölzl, A. Lluch-Lafuente, A. Vandin, M. Wirsing:

R. Bruni, A. Lluch-Lafuente, U. Montanari: Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015)

R. Bruni, H. Melgratti, U. Montanari, P. Sobocinski: Connector algebras for C/E and P/T nets' interactions. Logical Methods in Computer Science 9(3) (2013)

R. Bruni, H. Melgratti, U. Montanari: A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency 2015: 205-227

R. Bruni, H. Melgratti, U. Montanari: Behaviour, Interaction and Dynamics. Specification, Algebra, and Software 2014: 382-401

R. Bruni, H. Melgratti, U. Montanari: From Hierarchical BIP to Petri Calculus. FPS@ETAPS 2014: 54-68

R. Bruni, U. Montanari, G. Plotkin, D. Terreni: On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Inform. 134(3-4): 287-317 (2014)

R. Bruni, U. Montanari, M. Sammartino: A coalgebraic semantics for causality in Petri nets. J. Log. Algebr. Meth. Program. 84(6): 853-883 (2015)

R. Bruni, U. Montanari, M. Sammartino: Causal Trees, Finally. Programming Languages with Applications to Biology and Security 2015: 27-43

R. Bruni, U. Montanari, M. Sammartino: Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106

R. Bruni, U. Montanari, M. Sammartino: Revisiting causality, coalgebraically. Acta Inf. 52(1): 5-33 (2015) Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184

S. Crafa and L. Padovani. The chemical approach to typestate-oriented programming OOPSLA 2015: 917-934, ACM 2015.

U. Montanari and A. Tcheukam: Prosumers As Aggregators in the DEZENT Context of Regenerative Power Production, 2014 IEEE 8th International Conference on Self- Adaptive and Self-Organizing Systems (SASO), London, pp. 167—174, 2014.

U. Montanari and A. Tcheukam: Real Time Market Models and Prosumer Profiling, Proc. IEEE INFOCOM 2013 - CCSES Workshop, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), pp.7-12.

U. Montanari and M. Sammartino: Network-Conscious Pi-Calculus - A Model of Pastry, Proc. LSFA 2014, 9th Workshop on Logical and Semantic Frameworks, with Applications, Electronic Notes in Theoretical Computer Science 312 (2015) 3–17,

wp3_list.1458319853.txt.gz · Last modified: 2016/03/18 17:50 by imt