Titlebook: Understanding Concurrent Systems; A.W. Roscoe Textbook 2010 Springer-Verlag London Limited 2010 Notation.Variable.communicating sequential

中產階級

書目名稱Understanding Concurrent Systems影響因子(影響力)




書目名稱Understanding Concurrent Systems影響因子(影響力)學科排名




書目名稱Understanding Concurrent Systems網絡公開度




書目名稱Understanding Concurrent Systems網絡公開度學科排名




書目名稱Understanding Concurrent Systems被引頻次




書目名稱Understanding Concurrent Systems被引頻次學科排名




書目名稱Understanding Concurrent Systems年度引用




書目名稱Understanding Concurrent Systems年度引用學科排名




書目名稱Understanding Concurrent Systems讀者反饋




書目名稱Understanding Concurrent Systems讀者反饋學科排名

慢慢沖刷

Hiding and Renaminga combination of parallel, hiding and renaming that makes constructing practical networks comparatively simple, and see how it can be used in building some natural dynamic networks such as one for implementing mergesort. We find that renaming can help FDR solve Sudoku puzzles faster.

HALL

Using FDRiscuss the relative advantages of depth-first and breadth-first search, and finally show how compression operators that FDR supplies can enable one to (at least partially) overcome the state explosion problem that limits the size of systems the tool can handle.

Flagging

Operational Semantics in CSP. Combinators lead to Supercombinators, the technique that FDR uses to implement transition systems effectively. Finally we show how formal “observations” of transition systems allow us to deduce what a process’s traces, failures and divergences are.

伴隨而來

推遲

CLEAR

evanescent

CSP Case Studiesudoku puzzles in CSP and use FDR to solve them. The second shows how designing a routing network can easily lead to deadlock but how well designed networks can work reliably: we offer a number of alternatives for this in trees, general networks, rings and cartesian grids. The final example describes

表示問

Hiding and Renamingle way of changing the labels on the events that a process communicates into different labels seen by the outside world. We see how hiding can create more natural models of parallel systems but can create a few theoretical difficulties, and how renaming combined with parallelism can create seemingly

顛簸地移動