Chapter
Concurrency Paradigms
Abstract
In this chapter, we discuss the idea of ‘paradigms’ of concurrency and the pivotal role of histories as abstract representations of behaviours of concurrent systems. A history groups together observations of concurrent behaviour which only differ in inessential details, and can therefore be regarded as being underpinned by the same concurrent run. The role of a paradigm is to capture key structural properties of histories resulting from some …
Authors
Janicki R; Kleijn J; Koutny M; Mikulski Ł
Book title
Studies in Computational Intelligence
Volume
1020
Pagination
pp. 137-145
Publication Date
January 1, 2022
DOI
10.1007/978-3-662-64821-6_6