Algebra of concurrent design

Algebra of concurrent design

Bibliographic Details
Main Author:	Hoare, T
Format:	Conference item
Published:	IEEE 2012

Similar Items

Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Foundations of Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Concurrent Kleene Algebra and its Foundations
by: Hoare, T, et al.
Published: (2011)

Probabilistic Concurrent Kleene Algebra
by: Annabelle McIver, et al.
Published: (2013-06-01)

Fine−Grain Concurrency
by: Hoare, T
Published: (2008)

Fine−grain Concurrency
by: Hoare, T
Published: (2007)

Fine−grain concurrency
by: Hoare, T
Published: (2010)

Linear algebra : an introduction with concurrent examples /
by: 391265 Hamilton, A. G.
Published: (1989)

Unifying Semantics for Concurrent Programming
by: Hoare, T
Published: (2013)

Extending Universal Design for Learning through Concurrent Enrollment: Algebra Teachers’ Perspectives
by: Susan Staats, et al.
Published: (2018-09-01)

Models and Algebra
by: Hoare, C
Published: (1993)

Algebra and Models
by: Hoare, C
Published: (1993)

A Theory of Conjunction and Concurrency
by: Hoare, C
Published: (1990)

A Theory of Conjunction and Concurrency
by: Hoare, C
Published: (1989)

Net Models for Concurrent Object Behaviour
by: Hoare, T
Published: (2012)

Laws of programming with concurrency (Invited Talk)
by: Hoare, T
Published: (2013)

Verification of Fine−grain Concurrent Programs
by: Hoare, T
Published: (2008)

Linking Theories of Concurrency
by: He, J, et al.
Published: (2005)

In praise of algebra
by: Hoare, T, et al.
Published: (2012)

An Algebra For Games of Chance
by: Hoare, C
Published: (1996)

Algebra Unifies Operational Calculi
by: van Staden, S, et al.
Published: (2012)

Process Algebra: A Unifying Approach
by: Hoare, C
Published: (2004)

Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
by: Nicolas Behr
Published: (2019-12-01)

Algebra of Logic Programming
by: Seres, S, et al.
Published: (1999)

Algebra of Logic Programming
by: Seres, S, et al.
Published: (1999)

From Algebra to Operational Semantics
by: He, J, et al.
Published: (1993)

Semantics of Nondeterminism‚ Concurrency and Communication
by: Francez, N, et al.
Published: (1979)

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

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
by: Hoare, C
Published: (2015)

From Algebra to Operational Semantics
by: Hoare, C, et al.
Published: (2015)

Algebraic derivation of an operational semantics
by: Hoare, C, et al.
Published: (2000)

Proving correctness of highly−concurrent linearisable objects
by: Vafeiadis, V, et al.
Published: (2006)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
by: Jifeng, H, et al.
Published: (1987)

Algebraic Specification and Proof of Properties of a Mail Service
by: Hoare, C, et al.
Published: (1986)

On Locality and the Exchange Law for Concurrent Processes
by: Hoare, C, et al.
Published: (2011)

Equilibrium design for concurrent games
by: Gutierrez, J, et al.
Published: (2019)

Designing a Concurrent File Server
by: Whitehead, J
Published: (2012)

CONCURRENT ENGINEERING, PRODUCT DESIGN & DEVELOPMENT /
by: Mohd. Sapuan Salit, author 226293, et al.
Published: (2001)

Actions and Events in Concurrent Systems Design
by: Valentin Cassano, et al.
Published: (2014-01-01)

Concurrent feature based design and manufacturing
by: Suresh Agarwal.
Published: (2009)