Process Algebra: A Unifying Approach

Process Algebra: A Unifying Approach

Bibliographic Details
Main Author:	Hoare, C
Format:	Conference item
Published:	Springer 2004

Similar Items

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

Elementary and intermediate algebra : a unified approach /
by: Hutchison, Donald, 1948-, et al.
Published: (2000)

Elementary and intermediate algebra : a unified approach /
by: 459615 Baratto, Stefan, et al.
Published: (2008)

Unified algebra and trigonometry /
by: Vance, Elbridge Putnam, 1915-
Published: (1955)

The Laws of Programming Unify Process Calculi
by: Hoare, T, et al.
Published: (2012)

Unified Theories of Programming
by: Hoare, C
Published: (2015)

Unifying Theories : A Personal Statement
by: Hoare, C
Published: (1996)

Vector calculus, linear algebra, and differential forms : a unified approach /
by: 225537 Hubbard, John H., et al.
Published: (2002)

Elementary and intermediate algebra : a unified approach :student's solution manual /
by: Hutchison, Donald, 1948-, et al.
Published: (2000)

Unifying theories of programming
by: He, J, et al.
Published: (1998)

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

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

Beginning and intermediate algebra : a unified worktext /
by: Streeter, James (James A.)
Published: (2004)

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

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

Unifying theories of healthiness condition
by: He, J, et al.
Published: (2000)

Unifying Theories for Parallel Programming
by: Hoare, C, et al.
Published: (1997)

Unifying Models of Data Flow
by: Hoare, T, et al.
Published: (2011)

Algebra of concurrent design
by: Hoare, T
Published: (2012)

Prestress behaviour and ductility requirements in structures: solutions from a unified algebraic approach
by: Jaime Cervera Bravo, et al.
Published: (2021-12-01)

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

Algebraic Topology-Based Image Deformation: A Unified Model
by: Layachi Bentabet, et al.
Published: (2005-11-01)

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

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)

Unified Approach in the DSS Development Process
Published: (2007-01-01)

Lie algebras in particle physics: from isospin to unified theories/
by: 374210 Georgi, Howard
Published: (1982)

Solution Bounds and Numerical Methods of the Unified Algebraic Lyapunov Equation
by: Juan Zhang, et al.
Published: (2022-08-01)

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)

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)

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

The enterprise unified process : extending the rational unified process /
by: Ambler, Scott W., 1966-, et al.
Published: (2005)

A unified iteration space transformation framework for sparse and dense tensor algebra
by: Senanayake, Ryan Michael.
Published: (2021)

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

Unifying Kohlberg with Information Integration: The Moral Algebra of Recompense and of Kohlbergian Moral Informers
by: Wilfried Hommers, et al.
Published: (2010-01-01)

UML and the unified process /
by: 398653 Favre, Liliana
Published: (2003)

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