Titlebook: Semantics of Parallelism; Non-Interleaving Rep Michael W. Shields Book 1997 Springer-Verlag London Limited 1997 Notation.automata.bisimulat

大破壞

書目名稱Semantics of Parallelism影響因子(影響力)




書目名稱Semantics of Parallelism影響因子(影響力)學(xué)科排名




書目名稱Semantics of Parallelism網(wǎng)絡(luò)公開度




書目名稱Semantics of Parallelism網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Semantics of Parallelism被引頻次




書目名稱Semantics of Parallelism被引頻次學(xué)科排名




書目名稱Semantics of Parallelism年度引用




書目名稱Semantics of Parallelism年度引用學(xué)科排名




書目名稱Semantics of Parallelism讀者反饋




書目名稱Semantics of Parallelism讀者反饋學(xué)科排名

新娘

Book 1997ptual frame work. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent/distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism will also be interested in this book.

Mosaic

osed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal articles on the mathematics of non-interleaving semantics. It gives the reader a unified view of various attempts to model parallelism within

土產(chǎn)

Whys and Wherefores,e the case if the entity is composed of spatially separated sub-entities which co-ordinate their activities in some way, but are capable of autonomous action. In such cases, it is natural to speak of such entities as .. Of course, distributed entities usually possess parallelism, although one does n

財(cái)政

Discrete Behavioural Presentations,s that an arrow can never reach its target, since before it can get there it must first travel half the distance, but before that it must travel the first quarter and before that it must travel the first eighth and so on. The paradox involves the construction of a series of points regressing in time

云狀

Event Structures and Closures of Behavioural Presentations,ences. In chapter 3, when we were discussing what made a set X a ‘reasonable’ point, we concluded that it should be a set which satisfied at least the two properties X ? 0 and ?0.,0. ∈ X:?0.#0.. In the event, we also decided that, in order that our behavioural presentation remained discrete, it shou

thwart

octogenarian

Trace and Vector Languages,n nature. For example, in the behavioural presentation approach, an individual behaviour is represented by a labelled pre-ordered set, where (.,→,λ), where . ∈ .. While, being intuitively satisfying, they are rather cumbersome to manipulate. Indeed, one of the attractions of the interleaving approac

HEDGE

Linguistic Behavioural Presentations,ic and consistently complete poset is isomorphic to some behavioural presentation, where the occurrences of the presentation are in bijection with the complete primes of the poset. Furthermore, since each prime in a left- closed trace language has a unique last element, we have a means of associatin

漸強(qiáng)