Truly concurrent process algebra with localities /
Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra...
| Main Author: | Wang, Yong (Author) |
|---|---|
| Corporate Author: | ScienceDirect (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge, MA :
Elsevier,
2024.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Handbook of truly concurrent process algebra /
by: Wang, Yong
Published: (2024)
by: Wang, Yong
Published: (2024)
Algebraic theory for true concurrency /
by: Wang, Yong
Published: (2023)
by: Wang, Yong
Published: (2023)
CONCUR 2004--concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings /
Published: (2004)
Published: (2004)
CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
Published: (2005)
Published: (2005)
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings /
Published: (2003)
Published: (2003)
Concur 2000 : concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings /
Published: (2000)
Published: (2000)
Learn Java concurrency and multithreading in practice : harness the power of mulitthreading in Java.
by: Fesenko, Tatiana
Published: (2019)
by: Fesenko, Tatiana
Published: (2019)
Algebra 2 tutor.
Published: (2010)
Published: (2010)
iPad/iOS for dummies course.
Published: (2015)
Published: (2015)
Algebra.
by: Rédei, L.
Published: (1967)
by: Rédei, L.
Published: (1967)
Lectures in general algebra /
by: Kurosh, A. G. (Aleksandr Gennadievich)
Published: (1965)
by: Kurosh, A. G. (Aleksandr Gennadievich)
Published: (1965)
Categories, algebraic structures, linear and homological algebra /
by: Bourles, Henri
Published: (2017)
by: Bourles, Henri
Published: (2017)
Elementary algebra /
by: McKeague, Charles P.
Published: (1986)
by: McKeague, Charles P.
Published: (1986)
Handbook of algebra.
Published: (2008)
Published: (2008)
Monomial algebras /
by: Villarreal, Rafael H., 1951-
Published: (2015)
by: Villarreal, Rafael H., 1951-
Published: (2015)
Handbook of algebra.
Published: (2009)
Published: (2009)
Algebra /
by: Flanders, Harley, et al.
Published: (1975)
by: Flanders, Harley, et al.
Published: (1975)
Algebraic Geometry for Associative Algebras /
Published: (2000)
Published: (2000)
Algebra /
by: Hungerford, Thomas W
Published: (1996)
by: Hungerford, Thomas W
Published: (1996)
Algebra for college students /
by: Kolman, Bernard, 1932-
Published: (1982)
by: Kolman, Bernard, 1932-
Published: (1982)
The Oxford linear algebra for scientists /
by: Lukas, Andre
Published: (2022)
by: Lukas, Andre
Published: (2022)
Handbook of algebra
Published: (1996)
Published: (1996)
Handbook of algebra.
Published: (2003)
Published: (2003)
College algebra /
by: Kolman, Bernard, 1932-
Published: (1985)
by: Kolman, Bernard, 1932-
Published: (1985)
Hopf Algebra : an Introduction /
by: Dascalescu, Sorin, et al.
Published: (2000)
by: Dascalescu, Sorin, et al.
Published: (2000)
ALGEBRA groups, rings, and fields.
by: Rowen, Louis Halle
Published: (2026)
by: Rowen, Louis Halle
Published: (2026)
Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings /
Published: (2006)
Published: (2006)
Introduction to higher algebra /
by: Mostowski, Andrzej, et al.
Published: (1964)
by: Mostowski, Andrzej, et al.
Published: (1964)
Handbook of algebra.
Published: (2006)
Published: (2006)
Algebra review : to accompany Anton/Kolman's Applied finite mathematics, second edition, and Applied finite mathematics with calculus /
by: Denlinger, Charles G., et al.
Published: (1978)
by: Denlinger, Charles G., et al.
Published: (1978)
Lie algebras : finite and infinite dimensional Lie algebras and applications in physics /
by: Bäuerle, G. G. A. (Gerard G. A.)
Published: (1990)
by: Bäuerle, G. G. A. (Gerard G. A.)
Published: (1990)
Fundamental concepts of algebra /
by: Chevalley, C. (Claude), 1909-1984
Published: (1956)
by: Chevalley, C. (Claude), 1909-1984
Published: (1956)
Representations of *-algebras, locally compact groups, and Banach *-algebraic bundles /
by: Fell, J. M. G. (James Michael Gardner), 1923-
Published: (1988)
by: Fell, J. M. G. (James Michael Gardner), 1923-
Published: (1988)
Understanding geometric algebra : Hamilton, Grassmann, and Clifford for computer vision and graphics /
by: Kanatani, Kenichi
Published: (2015)
by: Kanatani, Kenichi
Published: (2015)
Advanced algebra tutor.
Published: (2011)
Published: (2011)
Algebra & geometry : an introduction to university mathematics /
by: Lawson, Mark V.
Published: (2021)
by: Lawson, Mark V.
Published: (2021)
Universal algebra and applications in theoretical computer science /
by: Denecke, Klaus
Published: (2002)
by: Denecke, Klaus
Published: (2002)
Complete theories.
by: Robinson, Abraham, 1918-1974
Published: (1956)
by: Robinson, Abraham, 1918-1974
Published: (1956)
College algebra and trigonometry /
by: Kolman, Bernard, 1932-
Published: (1986)
by: Kolman, Bernard, 1932-
Published: (1986)
Understanding geometric algebra : Hamilton, Grassmann, and Clifford for computer vision and graphics /
by: Kanatani, Kenʼichi, 1947-
Published: (2015)
by: Kanatani, Kenʼichi, 1947-
Published: (2015)