∎''It is our basic belief that extreme caution is warranted when designing and building multi-
threaded applications… use of threads can be very deceptive… in almost all cases they …

We present a framework for model checking concurrent software systems which
incorporates both states and events. Contrary to other state/event approaches, our work also …

Java threads are synchronised through primitives based upon monitor concepts developed
in the early 1970s. The semantics of Java's primitives have only been presented in natural …

The primary goal of this qualitative case study was to investigate the nature of holistic
thinking in the context of an asynchronous computer conference. Holistic thinking was …

Java threads are synchronised through primitives based upon monitor concepts developed
in the early 1970s. The semantics of Java's primitives have only been presented in natural …

In this paper, we propose a systematic approach, based on the CSP process algebra, to
preserve deadlock-and livelock-freedom by construction in I/O component composition. In …

In this thesis, we are concerned with the development of concurrent software for embedded
systems. The emphasis is on the development of control software. Embedded systems are …

This thesis is concerned with portable, efficient, and, above all, seamless parallel
programming of heterogeneous networks of shared memory multiprocessor workstations …

Conventional model-checking techniques for analysing concurrent systems for deadlock or
livelock are hampered by the problem of exponential state explosion: the overall number of …

In this paper we present algorithms to statically detect livelocks in Ada multitasking
programs. Although the algorithms' worst-case execution time is exponential, they can be …