31 citations · 109 across the 18 of their papers we have counts for
3 papers · 1 filter
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
We present initial results on a comprehensive model of structured communications, in which self- adaptation and security concerns are jointly addressed. More specifically, we propo…
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions
Luís Caires, Jorge A. Pérez
Relating the specification of the global communication behavior of a distributed system and the specifications of the local communication behavior of each of its nodes/peers (e.g.,…
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…