Concurrent Kleene Algebra and its Foundations

Concurrent Kleene Algebra and its Foundations

書目詳細資料
Main Authors:	Hoare, T, Möller, B, Struth, G, Wehrman, I
格式:	Journal article
出版:	2011

相似書籍

Foundations of Concurrent Kleene Algebra
由: Hoare, C, et al.
出版: (2009)

Concurrent Kleene Algebra
由: Hoare, C, et al.
出版: (2009)

Kleene Algebra with Hypotheses
由: Doumane, A, et al.
出版: (2019)

KLEENE ALGEBRAS ARE ALMOST UNIVERSAL
由: Adams, M, et al.
出版: (1986)

On Locality and the Exchange Law for Concurrent Processes
由: Hoare, C, et al.
出版: (2011)

Algebra of concurrent design
由: Hoare, T
出版: (2012)

Kajian keberkesanan sistem hi - kleen dalam mengolah air sisa domestik /
由: 206810 Muhammad Noor Zakariya, et al.
出版: (2007)

Linear algebra : an introduction with concurrent examples /
由: 391265 Hamilton, A. G.
出版: (1989)

Fine−grain Concurrency
由: Hoare, T
出版: (2007)

Fine−Grain Concurrency
由: Hoare, T
出版: (2008)

Fine−grain concurrency
由: Hoare, T
出版: (2010)

Interaction Categories and the Foundations of Typed Concurrent Programming
由: Abramsky, S, et al.
出版: (1996)

Unifying Semantics for Concurrent Programming
由: Hoare, T
出版: (2013)

Linking Theories of Concurrency
由: He, J, et al.
出版: (2005)

A Theory of Conjunction and Concurrency
由: Hoare, C
出版: (1989)

A Theory of Conjunction and Concurrency
由: Hoare, C
出版: (1990)

Foundations of algebraic topology /
由: 430157 Eilenberg, Samuel, et al.
出版: (1952)

Laws of programming with concurrency (Invited Talk)
由: Hoare, T
出版: (2013)

Verification of Fine−grain Concurrent Programs
由: Hoare, T
出版: (2008)

Net Models for Concurrent Object Behaviour
由: Hoare, T
出版: (2012)

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
由: Kleene Symposium (1978 : University of Wisconsin-Madison), et al.
出版: (1980)

Semantics of Nondeterminism‚ Concurrency and Communication
由: Francez, N, et al.
出版: (1979)

Graphical models of separation logic
由: Wehrman, I, et al.
出版: (2009)

A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
由: Lynch, Nancy A., et al.
出版: (2023)

Proving correctness of highly−concurrent linearisable objects
由: Vafeiadis, V, et al.
出版: (2006)

Algebra and Models
由: Hoare, C
出版: (1993)

Models and Algebra
由: Hoare, C
出版: (1993)

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
由: Rennela, M, et al.
出版: (2017)

Parallel Processing: Theoretical Foundations
由: Hoare, C
出版: (2015)

In praise of algebra
由: Hoare, T, et al.
出版: (2012)

An Algebra For Games of Chance
由: Hoare, C
出版: (1996)

Kajian penilaian keberkesanan loji rawatan berpusat jenis Hi - Kleen di zon industri fasa 1 Taman Perindustrian Teknologi Tinggi Kulim /
由: 367104 Wan Sallehuddin Wan Zakiuddin
出版: (1999)

On quasi-categories as a foundation for higher algebraic stacks
由: Nichols-Barrer, Joshua Paul
出版: (2007)

Concurrent Programming
由: Bryant, Randal E., et al.
出版: (2023)

Algebra Unifies Operational Calculi
由: van Staden, S, et al.
出版: (2012)

Process Algebra: A Unifying Approach
由: Hoare, C
出版: (2004)

Algebra of Logic Programming
由: Seres, S, et al.
出版: (1999)

Algebra of Logic Programming
由: Seres, S, et al.
出版: (1999)

From Algebra to Operational Semantics
由: He, J, et al.
出版: (1993)

The integrated concurrent enterprise
由: Stagney, David B. (David Broderick), 1975-
出版: (2013)