Titlebook: Directed Algebraic Topology and Concurrency; Lisbeth Fajstrup,Eric Goubault,Martin Raussen Book 2016 Springer International Publishing Swi

CUB

預(yù)示

平息

樂(lè)器演奏者

Truly Concurrent Models of Programs with Resources,s commute or not. In this chapter, we introduce truly concurrent models which incorporate this information. We begin by extending our programming languages with resources and restrict ourselves to conservative programs, in which resource consumption only depends on the current state. We then general

邊緣

新義

Algorithmics on Directed Spaces, formulated for simple programs, and we only hint at generalizations: programs with branchings can generally be handled by adapting the algorithms, and loops can be handled up?to a finite depth by unrolling the programs. We illustrate the wide variety of applications of the geometric point of view b

MOT

棲息地

萬(wàn)靈丹

Shuttle

Book 2016eir analysis..Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline .directed algebraic topology., which is dr