scientific article

zbMath1114.68384MaRDI QIDQ3413374

Antonio Vallecillo, António Ravara, Vasco Thudichum Vasconcelos

Publication date: 4 January 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12) Theory of software (68N99)

Related Items (10)

Type checking a multithreaded functional language with session types ⋮ Session types revisited ⋮ Combining behavioural types with security analysis ⋮ Send to me first: Priority in synchronous message-passing ⋮ From global choreographies to verifiable efficient distributed implementations ⋮ Session types for safe web service orchestration ⋮ Conformance notions for the coordination of interaction components ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Subtyping for session types in the pi calculus

This page was built for publication: