Behavioural type systems, usually associated to concurrent or distributed computations,
encompass concepts such as interfaces, communication protocols, and contracts, in addition to …

We define a language whose type system, incorporating session types, allows complex
protocols to be specified by types and verified by static type checking. A session type, associated …

Session types allow communication protocols to be specified type-theoretically so that
protocol implementations can be verified by static type-checking. We extend previous work on …

Uma transformação estrutural cm determinada sociedade faz-se sentir nos mais diversos
aspectos da vida do todo que ela constitui; assim, tanto sofrem profunda modificação as suas …

Behavioural type systems in programming languages support the specification and verification
of properties of programs beyond the traditional use of type systems to describe data …

We seek for a small set of primitives that might serve as a basis for formalising and programming
service oriented applications over global computers. As an outcome of this study we …

Descrever um Estado, ou seja, indagar das «forças, riqueza, povoação e outros quaisquer
recursos de um Estado» 2, é, para os homens do século xix, o objectivo da estatística, um …

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, associated …

This paper proposes the use of session types to extend with behavioural information the
simple descriptions usually provided by software component interfaces. We show how session …

This paper describes a proposal for typing the behavior of objects in component models.
Most component models, CORBA in particular, do not offer any support for expressing …