Add to ORKGReppy's language CML extends Standard ML of Milner et al. with primitives for communication. It thus inherits a notion of strong polymorphic typing and may be equipped with a structural operational semantics. We formulate an effect system for statically expressing the communication behaviours of CML programs as these are not otherwise reflected in the types.We then show how types and behaviours evolve in the course of computation: types may decrease and behaviours may loose alternatives as well as decrease. It will turn out that the syntax of behaviours is rather similar to that of a process algebra; our main results may therefore be viewed as regarding the semantics of a process algebra as an abstraction of the semantics of an underlying...
We briefly describe the motivations and the background behind the design of Klaim, a process descrip...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
AbstractReppy's language CML extends Standard ML of Milner et al. with primitives for communication....
AbstractReppy's language CML extends Standard ML of Milner et al. with primitives for communication....
this paper we study CML [11] that extends Standard ML with primitives for communication; other langu...
AbstractWe investigate a number of semantic issues which arise, when a language of expressions such ...
In this paper we develop a sound and complete type and behaviour inference algorithm for a fragment ...
We present a type and behaviour reconstruction algorithm for Standard ML with concurrency. The behav...
In this paper we develop a sound and complete type and behaviour inference algorithm for a fragment ...
AbstractWe propose a process algebra, the Algebra of Behavioural Types, as a language for typing con...
Introduces a new paradigm for concurrency, called behaviours-as-types. In this paradigm, types are u...
In this paper I present a review of research issues raised by the application of process algebras to...
AbstractWe propose a process algebra, the Algebra of Behavioural Types, as a language for typing con...
We introduce a new paradigm for concurrency, called behaviours-as-types. In this paradigm, types are...
We briefly describe the motivations and the background behind the design of Klaim, a process descrip...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
AbstractReppy's language CML extends Standard ML of Milner et al. with primitives for communication....
AbstractReppy's language CML extends Standard ML of Milner et al. with primitives for communication....
this paper we study CML [11] that extends Standard ML with primitives for communication; other langu...
AbstractWe investigate a number of semantic issues which arise, when a language of expressions such ...
In this paper we develop a sound and complete type and behaviour inference algorithm for a fragment ...
We present a type and behaviour reconstruction algorithm for Standard ML with concurrency. The behav...
In this paper we develop a sound and complete type and behaviour inference algorithm for a fragment ...
AbstractWe propose a process algebra, the Algebra of Behavioural Types, as a language for typing con...
Introduces a new paradigm for concurrency, called behaviours-as-types. In this paradigm, types are u...
In this paper I present a review of research issues raised by the application of process algebras to...
AbstractWe propose a process algebra, the Algebra of Behavioural Types, as a language for typing con...
We introduce a new paradigm for concurrency, called behaviours-as-types. In this paradigm, types are...
We briefly describe the motivations and the background behind the design of Klaim, a process descrip...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...
We sketch the language mCRL2, the successor of µCRL, which is a process algebra with data, devised i...