Implementing generalised alt - A case study in validated design using CSP

In this paper we describe the design and implementation of a generalised alt operator for the Communicating Scala Objects library. The alt operator provides a choice between communications on different channels. Our generalisation removes previous restrictions on the use of alts that prevented both...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkki: Lowe, G
Materiálatiipa: Journal article
Giella:English
Almmustuhtton: 2011

Geahča maid