The conversation scheme has been defined to design concurrent software which provides backward error recovery. Since presently no widespread programming language provides constructs for implementing conversations, we propose a methodology for structuring programs, following the conversation scheme. We analyze the use of conversation in languages which adopt the client-server model for processes interaction, pointing out solutions to problems arising from the use of operation and procedure oriented languages [1: Andrews and Schneider, ACM Comput. Surv.15: 3\u201344; 1983], in which servers are implemented as remote procedures or monitors respectively. The features of a number of programming languages, which are the most suitable for structur...
Interoperability of programming languages is the ability for two or more languages to interact as pa...
A distributed operating system encourages a style of programming in which independently-developed p...
Digital Equipment Corporation The 1980s have witnessed the emergence of a new architecture for compu...
Abstract. Session types are types for distributed communicating pro-cesses. They were born from proc...
We present a type theory for analyzing concurrent multiparty interactions as found in service-orient...
We present a type theory for analyzing concurrent multiparty interactions as found in service-orient...
AbstractWe present a type theory for analyzing concurrent multiparty interactions as found in servic...
A closer association between man and machine enables a programmer to produce a program more rapidly....
. We introduce basic language constructs and a type discipline as a foundation of structured communi...
In a service-oriented architecture systems communicate by exchanging messages. Message passing provi...
This dissertation examines fundamental issues that face the designers of any distributed programming...
In the age of the world-wide web and mobile computing, programming communication-centric software i...
We present a process-calculus model for expressing and analyzing service-based systems. Our approach...
We overview some perspectives on the concept of service-based computing, and discuss the motivation ...
AbstractIdealized CSP is a programming language combining simply typed, call-by-name procedures with...
Interoperability of programming languages is the ability for two or more languages to interact as pa...
A distributed operating system encourages a style of programming in which independently-developed p...
Digital Equipment Corporation The 1980s have witnessed the emergence of a new architecture for compu...
Abstract. Session types are types for distributed communicating pro-cesses. They were born from proc...
We present a type theory for analyzing concurrent multiparty interactions as found in service-orient...
We present a type theory for analyzing concurrent multiparty interactions as found in service-orient...
AbstractWe present a type theory for analyzing concurrent multiparty interactions as found in servic...
A closer association between man and machine enables a programmer to produce a program more rapidly....
. We introduce basic language constructs and a type discipline as a foundation of structured communi...
In a service-oriented architecture systems communicate by exchanging messages. Message passing provi...
This dissertation examines fundamental issues that face the designers of any distributed programming...
In the age of the world-wide web and mobile computing, programming communication-centric software i...
We present a process-calculus model for expressing and analyzing service-based systems. Our approach...
We overview some perspectives on the concept of service-based computing, and discuss the motivation ...
AbstractIdealized CSP is a programming language combining simply typed, call-by-name procedures with...
Interoperability of programming languages is the ability for two or more languages to interact as pa...
A distributed operating system encourages a style of programming in which independently-developed p...
Digital Equipment Corporation The 1980s have witnessed the emergence of a new architecture for compu...