Serielle und parallele Automaten Einführung in die Theorie von Shields, Michael William 1950-

A CCS specification of the OSI network service von Shields, Michael William 1950-, Wray, M. J.

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

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 formal semantics for concurrent systems von Shields, Michael William 1950-, Lauer, Peter E.

Semantics of parallelism non-interleaving representation of behaviour von Shields, Michael William 1950-

Inhaltsverzeichnis

An introduction to automata theory von Shields, Michael William 1950-

An introduction to automata theory von Shields, Michael William 1950-

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-

Adequate path expressions von Shields, Michael William 1950-

Serielle und parallele Automaten Einf. in d. Theorie von Shields, Michael William 1950-

Non-sequential behaviours von Shields, Michael William 1950-

On the non-sequential behaviour of systems possessing a generalised free choice property von Shields, Michael William 1950-

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-

Non-sequential behaviours von Shields, Michael William 1950-