Suchergebnisse - Lauer, Peter E.

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

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: +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.

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.