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

CUB

预示

平息

乐器演奏者

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

栖息地

万灵丹

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