The Laws of Programming Unify Process Calculi

The Laws of Programming Unify Process Calculi

Bibliographic Details
Main Authors:	Hoare, T, van Staden, S
Format:	Conference item
Published:	Springer 2012

Similar Items

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

Normal Forms for Synchronous and Asynchronous Process Calculi
by: Hoare, T, et al.
Published: (2000)

Program design calculi /
by: Broy, Manfred
Published: (1993)

On the Semantics of Refinement Calculi
by: Yang, H, et al.
Published: (2015)

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

Non-classical propositional calculi
by: McCall, S, et al.
Published: (1964)

Graphical calculi and their conjecture synthesis
by: Miller-Bakewell, H
Published: (2020)

Completeness of the ZW and ZX calculi
by: Ng, K
Published: (2018)

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

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

Typed non-determinism in functional and concurrent calculi
by: van den Heuvel, B, et al.
Published: (2023)

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

Integrating Action Calculi and Description Logics
by: Drescher, C, et al.
Published: (2007)

Bounded functional calculi for unbounded operators
by: Batty, C, et al.
Published: (2023)

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

Product formulas in functional calculi for sectorial operators
by: Batty, C, et al.
Published: (2014)

Linear realizability and full completeness for typed lambda−calculi
by: Abramsky, S, et al.
Published: (2005)

Internal proof calculi for modal logics with separating conjunction
by: Demri, S, et al.
Published: (2021)

Functional calculi for sectorial operators and related function theory
by: Batty, CJK, et al.
Published: (2021)

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

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
by: Hustadt, U, et al.
Published: (2004)

Categorical abstract machines for higher-order typed lambda-calculi
by: Ritter, E
Published: (1994)

Generic Models of the Laws of Programming
by: Hoare, T
Published: (2013)

Analysis of urinary calculi by physical methods in Hospital Universiti Sains Malaysia
by: Zainuddin, Saiful Azli Mohd
Published: (2010)

Comments on: Comparison of three different endoscopic techniques in management of bladder calculi
by: Kamarulzaman, Mohd Nazli
Published: (2011)

Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
by: Grefenstette, E
Published: (2013)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
by: 180279 Bowman, Howard, et al.
Published: (2006)

Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1986)

The Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1988)

The laws of occam programming
by: Roscoe, A, et al.
Published: (1988)

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

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

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

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

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

Cystic calculi removal in African spurred tortoise (Geochelone sulcata) using transplstron coeliotomy
by: Che' Amat, Azlan, et al.
Published: (2012)

Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic
by: Nguyễn, LTD, et al.
Published: (2020)

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi
Published: (1997)

Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
by: Kuc̆an, Jakov
Published: (2008)

Fully abstract models for effectful λ-calculi via category-theoretic logical relations
by: Kammar, O, et al.
Published: (2022)