Fundamentals of session types - ScienceDirect
Multiparty session types, beyond duality - ScienceDirect
Type Systems for Distributed Programs: Components and Sessions | SpringerLink
PDF) Reversible session-based Pi-calculus
![PDF] πdist: Towards a Typed π-calculus for Distributed Programming Languages | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/e13b227eb084417b6b5aa655fd39f851af4f3637/14-Figure4-1.png "PDF] πdist: Towards a Typed π-calculus for Distributed Programming Languages | Semantic Scholar")
PDF] πdist: Towards a Typed π-calculus for Distributed Programming Languages | Semantic Scholar
Minimal Session Types for the π-calculus
Education Sciences | Free Full-Text | Calculus and Digital Natives in Rendezvous: wxMaxima Impact
Minimal Session Types for the π-calculus
Figure 2 from Matching in the Pi-Calculus (Technical Report) | Semantic Scholar
Session calculus: Session-based π-calculus
The timed π -calculus expressions for environment, track, controller,... | Download Scientific Diagram
Minimal Session Types for the π-calculus
Reversible session-based pi-calculus - ScienceDirect
1 - Introduction to Pi Calculus - YouTube
Pict: A programming language based on the pi-calculus
Reversible session-based pi-calculus - ScienceDirect
![PDF] Session-based Type Discipline for Pi Calculus with Matching | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/e2e499ae02c9dcfa34602d02c98aa328deba6602/4-Figure3-1.png "PDF] Session-based Type Discipline for Pi Calculus with Matching | Semantic Scholar")
PDF] Session-based Type Discipline for Pi Calculus with Matching | Semantic Scholar
Syntax of the Applied Pi-calculus | Download Table
Session-based π-calculus: reduction relation. | Download Scientific Diagram
Electronics | Free Full-Text | Detecting Data Anomalies from Their Formal Specifications: A Case Study in IoT Systems
Reversible session-based pi-calculus - ScienceDirect
