https://epsrc-stardust.github.io/meetings/kickoff.html
STARDUST: Session Types for Reliable Distributed Systems
session typesstardustreliabledistributedsystems
https://help.webex.com/en-us/article/nfzjg2f
Create custom session types for your Webex site in Control Hub
You can create custom session types that enable or disable features for Webex Meetings Suite users.
create customsession typesfor yourin control
https://www.ideals.illinois.edu/items/92895
Polarized substructural session types | IDEALS
session typespolarizedsubstructuralideals
https://arxiv.org/abs/1704.03097v1
[1704.03097v1] Multiparty Session Types, Beyond Duality (Abstract)
Abstract page for arXiv paper 1704.03097v1: Multiparty Session Types, Beyond Duality (Abstract)
session typesmultipartybeyonddualityabstract
https://kuscholarworks.ku.edu/entities/publication/93686048-56b7-45f5-8eb0-050f8846c9c4
Exceptional asynchronous session types: Session types without tiers
Session types statically guarantee that communication complies with a protocol. However, most accounts of session typing do not account for failure, which...
session typesexceptionalasynchronouswithouttiers
https://researchconnect.buffalo.edu/en/publications/rate-based-session-types-for-iot-systems/
Rate-Based Session Types for IoT Systems - SUNY University at Buffalo
session typesiot systemsratebased
https://ace.atlassian.com/events/details/atlassian-community-led-classes-presents-board-types-amp-concepts-aca-905-jira-software-board-configuration-session-1/
See Board Types & Concepts | ACA-905 Jira Software Board Configuration Session #1 at Atlassian...
https://www.cambridge.org/core/books/session-types/F060A020C9672411ADB097487BB9277E
Session Types
Cambridge Core - Programming Languages and Applied Logic - Session Types
sessiontypes
https://spiral.imperial.ac.uk/entities/publication/c33481a2-5889-427b-a977-67a106bb9bdf
Softly safely spoken: Role playing for Session Types
Session types have made much progress at permitting programs be statically verified concordant with a specified protocol. However, it is difficult to build...
role playingsoftlysafelyspokensession