Filtros de búsqueda

Lista de obras de Rocco De Nicola

A Distributed Coordination Infrastructure for Attribute-Based Interaction

A Formal Approach to Autonomic Systems Programming

article published in 2014

A calculus for attribute-based communication

scholarly article

A calculus for collective-adaptive systems and its behavioural theory.

Basic observables for a calculus for global computing

CARMA: Collective Adaptive Resource-sharing Markovian Agents

artículo científico publicado en 2015

Core Calculi for Service-Oriented Computing

GoAt: Attribute-Based Interaction in Google Go

scholarly article

Model checking mobile stochastic logic

Modelling global computations with KLAIM.

artículo científico publicado en 2008

On the Power of Attribute-Based Communication

scholarly article

Programming and Verifying Component Ensembles

Programming interactions in collective adaptive systems by relying on attribute-based communication

scholarly article

Programming of CAS Systems by Relying on Attribute-Based Communication

scholarly article

Replica-Based High-Performance Tuple Space Computing

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

Verification of Distributed Systems via Sequential Emulation

artículo científico publicado en 2022

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda