Cover Image

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...

Full description

Bibliographic Details
Main Author:	Wang, Yong (Author)
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Cambridge, MA : Elsevier, 2024.
Subjects:	Computer multitasking > Mathematics. Algebra. Fonctionnement multitâche > Mathématiques. Algèbre. algebra. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Handbook of truly concurrent process algebra /
by: Wang, Yong
Published: (2024)

Algebraic theory for true concurrency /
by: Wang, Yong
Published: (2023)

CONCUR 2004--concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings /
Published: (2004)

CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
Published: (2005)

CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings /
Published: (2003)

Concur 2000 : concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings /
Published: (2000)

Learn Java concurrency and multithreading in practice : harness the power of mulitthreading in Java.
by: Fesenko, Tatiana
Published: (2019)

iPad/iOS for dummies course.
Published: (2015)

Algebra 2 tutor.
Published: (2010)

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)

Algebra.
by: Rédei, L.
Published: (1967)

Lectures in general algebra /
by: Kurosh, A. G. (Aleksandr Gennadievich)
Published: (1965)

Categories, algebraic structures, linear and homological algebra /
by: Bourles, Henri
Published: (2017)

Monomial algebras /
by: Villarreal, Rafael H., 1951-
Published: (2015)

Handbook of algebra.
Published: (2008)

Handbook of algebra.
Published: (2009)

Elementary algebra /
by: McKeague, Charles P.
Published: (1986)

Algebra /
by: Hungerford, Thomas W
Published: (1996)

Algebra /
by: Flanders, Harley, et al.
Published: (1975)

The Oxford linear algebra for scientists /
by: Lukas, Andre
Published: (2022)

Algebraic Geometry for Associative Algebras /
Published: (2000)

Algebra for college students /
by: Kolman, Bernard, 1932-
Published: (1982)

Handbook of algebra
Published: (1996)

Handbook of algebra.
Published: (2003)

College algebra /
by: Kolman, Bernard, 1932-
Published: (1985)

ALGEBRA groups, rings, and fields.
by: Rowen, Louis Halle
Published: (2026)

Hopf Algebra : an Introduction /
by: Dascalescu, Sorin, et al.
Published: (2000)

Introduction to higher algebra /
by: Mostowski, Andrzej, et al.
Published: (1964)

Handbook of algebra.
Published: (2006)

Lie algebras : finite and infinite dimensional Lie algebras and applications in physics /
by: Bäuerle, G. G. A. (Gerard G. A.)
Published: (1990)

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)

Representations of *-algebras, locally compact groups, and Banach *-algebraic bundles /
by: Fell, J. M. G. (James Michael Gardner), 1923-
Published: (1988)

Fundamental concepts of algebra /
by: Chevalley, C. (Claude), 1909-1984
Published: (1956)

Algebra & geometry : an introduction to university mathematics /
by: Lawson, Mark V.
Published: (2021)

Understanding geometric algebra : Hamilton, Grassmann, and Clifford for computer vision and graphics /
by: Kanatani, Kenichi
Published: (2015)

Advanced algebra tutor.
Published: (2011)

Complete theories.
by: Robinson, Abraham, 1918-1974
Published: (1956)

Springer Nature computing video.
Published: (2022)

Universal algebra and applications in theoretical computer science /
by: Denecke, Klaus
Published: (2002)

CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
Published: (1999)