HomeATLAS roadmapComputer ScienceProcess calculi and behavioural equivalenceSession typesFinite binary sessionsContentsFilter: all statusesStatementsMapContentsLoading the map…Reading Finite binary sessions Finite sessions with unrestricted name data Binary communication in the existing π-calculus Progress and completion for isolated finite binary sessions Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.