Session types are essential for distributed communicating systems to prevent deadlocks and unmatched communication events. They are rooted in logic, proof theory, and programming, with propositions related to types, proofs to programs, and proof norm
Section: Computer Sciences and Information Technology (Research Project)
Related:
Session Types
Session Types Applications, Foundations and Flow Security STAFFS
Research Project › Physical Sciences
Secure Control
Secure Control Algorithms Design for Distributed Formation and Containment Control Problems Subjected to Cyber Attacks
Research Project › Engineering Sciences
Fundamental investigations
Fundamental investigations of physicochemical phenomena in interfacial flows using Direct Numerical Simulations (DNS) and controlled experiments.
Research Project › Engineering Sciences
Machine Unlearning
Machine Unlearning for Selective Removal of Digital Data Footprint from Deep Learning Models
Research Project › Engineering Sciences
Vibrometry-based near
Vibrometry-based near real-time monitoring of hydrocyclone separation efficiency in critical mineral processing
Research Project › Engineering Sciences