Nome |
# |
A Dependently-Typed Linear π -Calculus in Agda, file e27ce430-094a-2581-e053-d805fe0acbaa
|
366
|
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, file e27ce42f-8d59-2581-e053-d805fe0acbaa
|
269
|
Foundations of Session Types: 10 Years Later, file e27ce42e-87ad-2581-e053-d805fe0acbaa
|
256
|
Contract-based discovery of Web services modulo simple orchestrators, file e27ce426-c826-2581-e053-d805fe0acbaa
|
233
|
A Type Checking Algorithm for Concurrent Object Protocols, file e27ce42c-bbee-2581-e053-d805fe0acbaa
|
233
|
An Algebraic Theory for Web Service Contracts, file e27ce428-b57a-2581-e053-d805fe0acbaa
|
216
|
Deadlock-Free Typestate-Oriented Programming, file e27ce42c-a122-2581-e053-d805fe0acbaa
|
213
|
Behavioral Types in Programming Languages, file e27ce42a-7734-2581-e053-d805fe0acbaa
|
210
|
A core calculus for dynamic delta-oriented programming, file e27ce42c-0206-2581-e053-d805fe0acbaa
|
206
|
Fair Subtyping for Open Session Types, file e27ce428-b57c-2581-e053-d805fe0acbaa
|
204
|
Fair Subtyping for Multi-Party Session Types, file e27ce427-0a85-2581-e053-d805fe0acbaa
|
203
|
Deadlock and Lock Freedom in the Linear π-Calculus, file e27ce428-bc36-2581-e053-d805fe0acbaa
|
197
|
Exception Handling for Copyless Messaging, file e27ce428-bfc6-2581-e053-d805fe0acbaa
|
189
|
Global Progress for Dynamically Interleaved Multiparty Sessions, file e27ce427-0a86-2581-e053-d805fe0acbaa
|
186
|
Deadlock Analysis of Wait-Notify Coordination, file e27ce42e-ac0c-2581-e053-d805fe0acbaa
|
178
|
The Chemical Approach to Typestate-Oriented Programming, file e27ce427-8ebc-2581-e053-d805fe0acbaa
|
173
|
On Projecting Processes into Session Types, file e27ce426-c680-2581-e053-d805fe0acbaa
|
170
|
Chaperone Contracts for Higher-Order Sessions, file e27ce42b-a4a8-2581-e053-d805fe0acbaa
|
169
|
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation, file e27ce428-bc34-2581-e053-d805fe0acbaa
|
167
|
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, file e27ce426-fe49-2581-e053-d805fe0acbaa
|
159
|
Chaperone Contracts for Higher-Order Sessions, file e27ce42b-f33a-2581-e053-d805fe0acbaa
|
148
|
Session Type Isomorphisms, file e27ce427-0aa8-2581-e053-d805fe0acbaa
|
141
|
On Sessions and Infinite Data, file e27ce42b-726c-2581-e053-d805fe0acbaa
|
141
|
From Lock Freedom to Progress Using Session Types, file e27ce426-fe48-2581-e053-d805fe0acbaa
|
138
|
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, file e27ce428-f672-2581-e053-d805fe0acbaa
|
138
|
On Global Types and Multi-Party Sessions, file e27ce426-d7fb-2581-e053-d805fe0acbaa
|
137
|
Mailbox Types for Unordered Interactions, file e27ce42c-dda4-2581-e053-d805fe0acbaa
|
131
|
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, file e27ce427-8af3-2581-e053-d805fe0acbaa
|
129
|
An Algebraic Theory for Web Service Contracts, file e27ce427-8ec1-2581-e053-d805fe0acbaa
|
127
|
On Global Types and Multi-Party Sessions, file e27ce426-da04-2581-e053-d805fe0acbaa
|
125
|
Typing Liveness in Multiparty Communicating Systems, file e27ce428-b31a-2581-e053-d805fe0acbaa
|
124
|
Typing Copyless Message Passing, file e27ce429-08a1-2581-e053-d805fe0acbaa
|
122
|
Types for Deadlock-Free Higher-Order Programs, file e27ce427-90bc-2581-e053-d805fe0acbaa
|
118
|
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, file e27ce426-fecd-2581-e053-d805fe0acbaa
|
116
|
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, file e27ce428-bc32-2581-e053-d805fe0acbaa
|
115
|
Compilation of Generic Regular Path Expressions Using C++ Class Templates, file e27ce427-1c05-2581-e053-d805fe0acbaa
|
111
|
A Simple Library Implementation of Binary Sessions, file e27ce42b-6649-2581-e053-d805fe0acbaa
|
111
|
Concurrent Typestate-Oriented Programming in Java, file e27ce42e-33e1-2581-e053-d805fe0acbaa
|
108
|
On sessions and infinite data, file e27ce42a-79ad-2581-e053-d805fe0acbaa
|
106
|
A Theory of Contracts for Web Services, file e27ce426-cce6-2581-e053-d805fe0acbaa
|
77
|
Type Reconstruction for the Linear π-Calculus with Composite Regular Types, file e27ce428-bba5-2581-e053-d805fe0acbaa
|
68
|
Probabilistic Analysis of Binary Sessions, file e27ce430-aaa3-2581-e053-d805fe0acbaa
|
68
|
An OCaml Implementation of Binary Sessions, file e27ce42c-180b-2581-e053-d805fe0acbaa
|
66
|
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types, file e27ce432-76b4-2581-e053-d805fe0acbaa
|
57
|
Foundations of session types and behavioural contracts, file e27ce42a-749d-2581-e053-d805fe0acbaa
|
53
|
Type-Based Analysis of Linear Communications, file e27ce42c-23a3-2581-e053-d805fe0acbaa
|
44
|
PiDuce – a project for experimenting Web services technologies, file e27ce426-cce7-2581-e053-d805fe0acbaa
|
26
|
Context-Free Session Type Inference, file e27ce42b-8957-2581-e053-d805fe0acbaa
|
24
|
Fair Termination of Binary Sessions, file e27ce434-4b33-2581-e053-d805fe0acbaa
|
19
|
Context-Free Session Type Inference, file e27ce42d-c9b4-2581-e053-d805fe0acbaa
|
17
|
Exception Handling for Copyless Messaging, file e27ce426-e2ba-2581-e053-d805fe0acbaa
|
9
|
A formal foundation for dynamic delta-oriented software product lines, file e27ce426-ef44-2581-e053-d805fe0acbaa
|
8
|
The Chemical Approach to Typestate-Oriented Programming, file e27ce432-951e-2581-e053-d805fe0acbaa
|
8
|
A core calculus for dynamic delta-oriented programming, file e27ce42c-e12d-2581-e053-d805fe0acbaa
|
6
|
Distributed workflows with Jupyter, file 0a925adf-795e-413e-bc2d-8d6442a57476
|
5
|
Global Progress for Dynamically Interleaved Multiparty Sessions, file e27ce428-0d80-2581-e053-d805fe0acbaa
|
3
|
Fair Subtyping for Multi-Party Session Types, file e27ce428-0669-2581-e053-d805fe0acbaa
|
2
|
A formal foundation for dynamic delta-oriented software product lines, file e27ce42a-c204-2581-e053-d805fe0acbaa
|
2
|
A Simple Library Implementation of Binary Sessions, file e27ce42b-cd9e-2581-e053-d805fe0acbaa
|
2
|
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions, file e27ce42b-e5b3-2581-e053-d805fe0acbaa
|
2
|
A theory of contracts for web services, file e27ce42c-2bdf-2581-e053-d805fe0acbaa
|
2
|
On Projecting Processes into Session Types, file e27ce428-04cc-2581-e053-d805fe0acbaa
|
1
|
Exception Handling for Copyless Messaging, file e27ce428-08b1-2581-e053-d805fe0acbaa
|
1
|
The Chemical Approach to Typestate-Oriented Programming, file e27ce42a-56b3-2581-e053-d805fe0acbaa
|
1
|
The Chemical Approach to Typestate-Oriented Programming, file e27ce42b-e932-2581-e053-d805fe0acbaa
|
1
|
A gentle introduction to multiparty asynchronous session types, file e27ce42b-f15f-2581-e053-d805fe0acbaa
|
1
|
Interactive Editing of MathML Markup Using TeX Syntax, file e27ce42b-f477-2581-e053-d805fe0acbaa
|
1
|
A Theory of Contracts for Web Services, file e27ce42b-f637-2581-e053-d805fe0acbaa
|
1
|
Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation, file e27ce42c-3fde-2581-e053-d805fe0acbaa
|
1
|
Deadlock and Lock Freedom in the Linear π-Calculus, file e27ce42c-4452-2581-e053-d805fe0acbaa
|
1
|
Context-Free Session Type Inference, file e27ce42d-c9b2-2581-e053-d805fe0acbaa
|
1
|
Totale |
7.161 |