By Marta Zofia Kwiatkowska BSc, MSc, PhD, Michael William Shields BA, PhD, Richard Monro Thomas MA, MSc, DPhil (auth.)
The semantics of concurrent platforms is likely one of the so much lively parts of study in theoretical computing device technology, yet suffers from disagree ment as a result of various, and infrequently incompatible, attitudes in the direction of abstracting non-sequential behaviour. while faced with strategy algebras, which offer upward push to very based, hugely summary and com positional versions, usually in response to the interleaving abstraction, a few argue that the wealth of contribution they've got made is in part offset by means of the trouble in facing issues corresponding to faimess. nevertheless, the non-interleaving methods, according to causality, even supposing easing issues of equity and confusion, nonetheless lack struc ture, compositionality, and the beauty of the interleaving counter elements. for the reason that either those techniques have surely supplied very important contributions in the direction of figuring out of concurrent structures, one should still be aware of what they've got in universal, instead of the best way they range. The Intemational Workshop on Semantics for Concurrency held on the collage of Leicester on 23-25 July 1990 used to be organised to assist triumph over this challenge. Its major goal was once to not be divisive, yet quite to inspire discussions prime in the direction of the identity of the confident aim positive factors of the most techniques, within the desire of furthering universal figuring out. The Workshop met with an excel lent reaction, and attracted contributions from around the world. the outcome used to be an engaging and sundry programme, which used to be a combi state of invited and refereed papers. The invited audio system have been: Prof. dr. E. most sensible (Hildesheim college) Prof. dr. A.