Search Torrents
|
Browse Torrents
|
48 Hour Uploads
|
TV shows
|
Music
|
Top 100
Audio
Video
Applications
Games
Porn
Other
All
Music
Audio books
Sound clips
FLAC
Other
Movies
Movies DVDR
Music videos
Movie clips
TV shows
Handheld
HD - Movies
HD - TV shows
3D
Other
Windows
Mac
UNIX
Handheld
IOS (iPad/iPhone)
Android
Other OS
PC
Mac
PSx
XBOX360
Wii
Handheld
IOS (iPad/iPhone)
Android
Other
Movies
Movies DVDR
Pictures
Games
HD - Movies
Movie clips
Other
E-books
Comics
Pictures
Covers
Physibles
Other
Details for:
Yong W. Algebraic Theory for True Concurrency 2023
yong w algebraic theory true concurrency 2023
Type:
E-books
Files:
1
Size:
7.0 MB
Uploaded On:
Jan. 15, 2023, 12:10 p.m.
Added By:
andryold1
Seeders:
1
Leechers:
0
Info Hash:
C07E7C2FC595F104E160711659F63AFB7153FA07
Get This Torrent
Textbook in PDF format Algebraic Theory for True Concurrency presents readers with the algebraic laws for true concurrency. Parallelism and concurrency are two of the core concepts within Computer Science. This book covers the different realms of concurrency, which enables programs, algorithms or problems to be broken out into order-independent or partially ordered components to improve computation and execution speed. There are two primary approaches for executing concurrency: interleaving concurrency and true concurrency. The main representative of interleaving concurrency is bisimulation/rooted branching bisimulation equivalences which is also readily explored. This work eventually founded the comprehensive axiomatization modulo bisimulation equivalence -- ACP (Algebra of Communicating Processes).The other approach to concurrency is true concurrency. Research on true concurrency is active and includes many emerging applications. First, there are several truly concurrent bisimulation equivalences, including: pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, the most well-known truly concurrent bisimulation equivalence. Key Features: - Introduces algebraic properties and laws for true concurrency, one of the foundational concepts of Computer Science - Presents all aspects of algebraic true concurrency, including the basis of semantics, calculi for true concurrency and for axiomatization - Integrates all aspects of algebraic theory for true concurrency, along with extensions and applications Readership: Researchers in Computer Science, as well as researchers in applied Mathematics
Get This Torrent
Yong W. Algebraic Theory for True Concurrency 2023.pdf
7.0 MB
