Formal behavioural specification of concurrent systems without globality assumptions von Lauer, Peter E., Shields, Michael William 1950-, Cotronis, John Y.

A description of path expressions by Petri nets von Lauer, Peter E., Campbell, Roy Harold

COSY +an environment for development and analysis of concurrent and distributed systems von Lauer, Peter E., Shields, Michael William 1950-

Verifying concurrent system specifications in COSY von Shields, Michael William 1950-, Lauer, Peter E.

A COSY banker specification of highly parallel and distributed resource management von Lauer, Peter E., Torrigiani, Piero R., Devillers, Raymond

A formal semantics for concurrent systems von Shields, Michael William 1950-, Lauer, Peter E.

The perils of indirect proof or another efficient search algorithm to find the elementary circuits of directed graphs von Lauer, Peter E.

Specification and analysis of concurrent systems the COSY approach von Janicki, Ryszard, Lauer, Peter E.

Inhaltsverzeichnis

Computer system dossiers von Lauer, Peter E.

Synchronization of concurrent processes without globality assumptions von Lauer, Peter E.

Programming and verifying concurrent systems in COSY von Shields, Michael William 1950-, Lauer, Peter E.

COSY a system specification language based on paths and processes von Lauer, Peter E., Torrigiani, Piero R., Shields, Michael William 1950-

Abstract specification of resource accessing disciplines adequacy, starvation, priority and interrrupts von Lauer, Peter E., Shields, Michael William 1950-

A spectrum of solutions to the cigarette smokers problem von Campbell, Roy Harold, Lauer, Peter E.

Formal theory of the basic COSY notation von Lauer, Peter E., Shields, Michael William 1950-, Best, Eike 1951-

Design and analysis of highly parallel and distributed systems von Lauer, Peter E., Shields, Michael William 1950-, Best, Eike 1951-

Toward a system specification language based on paths and processes von Lauer, Peter E., Torrigiani, Piero R.

A general mechanism for avoiding starvation with distributed control von Devillers, R. E., Lauer, Peter E.

Towards an axiomatization of value-theory von Lauer, Peter E.