3 citations · 3 across the 2 of their papers we have counts for
3 papers
PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite
David Kozhaya, Jeremie Decouchant, Vincent Rahli +1
The accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber-physical systems. Two main threats have made the reliable…
Realisability Semantics for Intersection Types and Expansion Variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli +1
Expansion was invented at the end of the 1970s for calculating principal typings for -terms in type systems with intersection types. Expansion variables (E-variables) were inven…
A complete realisability semantics for intersection types and arbitrary expansion variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli +1
Expansion was introduced at the end of the 1970s for calculating principal typings for -terms in intersection type systems. Expansion variables (E-variables) were introduced at…