[PDF] ul.pt

[PDF][PDF] Session types for inter-process communication

S Gay, V Vasconcelos, A Ravara - 2003 - mikado.di.fc.ul.pt
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. A session type …
被引用次数：90 相关文章
[PDF] uu.se

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - it.uu.se
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. Although session …
[PDF] gla.ac.uk

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - dcs.gla.ac.uk
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. A session type …
[PDF] psu.edu

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - 2003 - Citeseer
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. A session type …
[PDF] researchgate.net

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - 2003 - researchgate.net
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. A session type …
[PDF] academia.edu

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - academia.edu
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. Although session …
[PDF] uu.se

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - it.uu.se
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. Although session …
[PDF] uu.se

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - it.uu.se
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. Although session …
[PDF] uu.se

[PDF][PDF] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - it.uu.se
We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static typechecking. Although session …

[引用][C] Session Types for Inter-Process Communication

S Gay, V Vasconcelos, A Ravara - 2003