31 citations · 109 across the 18 of their papers we have counts for
4 papers · 1 filter
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou +7
Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security a…
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda +1
Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domai…
Session Types with Runtime Adaptation: Overview and Examples
Cinzia Di Giusto, Jorge A. Pérez
In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel const…
Towards a Unified Framework for Declarative Structured Communications
Hugo A. López, Carlos Olarte, Jorge A. Pérez
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in additi…