Found: 8
Select item for more details and to access through your institution.
Preface to special issue: behavioural types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 365, doi. 10.1017/S0960129514000206
- By:
- Publication type:
- Article
Preface to special issue: behavioural types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 2, p. 154, doi. 10.1017/S0960129514000152
- By:
- Publication type:
- Article
Bounded polymorphism in session types.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 895, doi. 10.1017/S0960129508006944
- By:
- Publication type:
- Article
Types and typechecking for Communicating Quantum Processes.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 375, doi. 10.1017/s0960129506005263
- By:
- Publication type:
- Article
Quantum programming languages: survey and bibliography.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 581, doi. 10.1017/s0960129506005378
- By:
- Publication type:
- Article
A SESSION TYPE SYSTEM FOR ASYNCHRONOUS UNRELIABLE BROADCAST COMMUNICATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 13:1, doi. 10.46298/LMCS-20(3:13)2024
- By:
- Publication type:
- Article
MODULAR SESSION TYPES FOR OBJECTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:12)2015
- By:
- Publication type:
- Article
Linear type theory for asynchronous session types.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 1, p. 19, doi. 10.1017/S0956796809990268
- By:
- Publication type:
- Article