journal : Science of Computer Programming
20 articles
Coordination in Socio-technical Systems: Where are we now? Where do we go next? (Science of Computer Programming, 2019) — Stefano Mariani Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal A coordination model of pervasive service ecosystems (Science of Computer Programming, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli On competitive self-composition in pervasive services (Science of Computer Programming, 2013) — Mirko Viroli Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck Multi-agent Oriented Programming with JaCaMo (Science of Computer Programming, 2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci From Tuple Spaces to Tuple Centres (Science of Computer Programming, 2001) — Andrea Omicini, Enrico Denti The GAMMA Model and its Discipline of Programming (Science of Computer Programming, 1990) — Jean-Pierre Banâtre, Daniel Le Métayer