Piero R. Torrigiani

Synchronic aspects of data types: construction of a non-algorithmic solution of the banker's problem

Piero R. Torrigiani, 1978, ECI.

Specification of highly parallel and distributed resource management

Raymond R. Devillers, Peter E. Lauer, Piero R. Torrigiani, 1980, Symposium on Programming.

A Simplified Hyperfast Banker: (ASM 56)

Peter E. Lauer, Raymond Devillers, Piero R. Torrigiani, 1979 .

The Hyperfast Banker: (ASM 55)

Peter E. Lauer, Raymond Devillers, Piero R. Torrigiani, 1979 .

A Cosy Banker

Raymond R. Devillers, Peter E. Lauer, Raymond Devillers, 1980 .

COSY — a system specification language based on paths and processes

Peter E. Lauer, M. W. Shields, Piero R. Torrigiani, 1979, Acta Informatica.

On the Banker with Several Currencies: (ASM 57)

Peter E. Lauer, Raymond Devillers, Piero R. Torrigiani, 1979 .