Sökt på: Böcker av c.a. middelburg
totalt 5 träffar
Process Algebra with Timing
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. …
Semantics of Specification Languages (SoSL)
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the …
Process Algebra with Timing
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. …
Process Algebra with Timing
This book is concerned with a number of theories that can be used for describ- ing and analyzing systems of interacting components in case it is desirable or necessary to regard …
Semantics of Specification Languages (SoSL)
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the …