12 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 1 cited
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, António Ravara
These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2…
cs.PL2014★ 12 cited
Session Types as Generic Process Types
Simon J. Gay, Nils Gesbert, António Ravara
Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…