activity
20112025
most citedA Spatial-Epistemic Logic for Reasoning about Security Protocols

3 citations · 7 across the 6 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.LO2014★ 3 cited

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.,…