Algebraic Specification and Proof of a Distributed Recovery Algorithm

Algebraic Specification and Proof of a Distributed Recovery Algorithm

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Jifeng, H, Hoare, C
Ձևաչափ:	Journal article
Հրապարակվել է:	1987

Նմանատիպ նյութեր

Algebraic Specification and Proof of Properties of a Mail Service
‌: Hoare, C, և այլն
Հրապարակվել է: (1986)

Design and Proof of a Mail Service
‌: Hoare, C, և այլն
Հրապարակվել է: (1987)

Algebra of proofs /
‌: 349024 Szabo, M. E.
Հրապարակվել է: (1978)

Algebra and Proof in High School: The Case of Algebraic Proof as Discovery
‌: Mara Vanina Martinez
Հրապարակվել է: (2014-02-01)

The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm
‌: Laver Richard, և այլն
Հրապարակվել է: (2013-12-01)

Complexity of semi−algebraic proofs
‌: Grigoriev, D, և այլն
Հրապարակվել է: (2002)

Complexity of semi-algebraic proofs
‌: Grigoriev, Dima, և այլն
Հրապարակվել է: (2013)

An Algebraic Proof of the Nishimura Theorem
‌: Alex Citkin
Հրապարակվել է: (2024-12-01)

Proof in C17 Algebra
‌: Brendan Larvor
Հրապարակվել է: (2005-08-01)

Proof of a Program: FIND
‌: Hoare, C
Հրապարակվել է: (1971)

Program Correctness Proofs
‌: Hoare, C
Հրապարակվել է: (1975)

Proof of Correctness of Data Representations
‌: Hoare, C
Հրապարակվել է: (1972)

Algebra and Models
‌: Hoare, C
Հրապարակվել է: (1993)

Models and Algebra
‌: Hoare, C
Հրապարակվել է: (1993)

Hierarchical Correctness Proofs for Distributed Algorithms
‌: Lynch, Nancy A., և այլն
Հրապարակվել է: (2023)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
‌: Hoare, C
Հրապարակվել է: (1972)

A standardisation proof for algebraic pattern calculi
‌: Delia Kesner, և այլն
Հրապարակվել է: (2011-02-01)

An Algebra For Games of Chance
‌: Hoare, C
Հրապարակվել է: (1996)

Proof of a Recursive Program: Quicksort
‌: Foley, M, և այլն
Հրապարակվել է: (1971)

Process Algebra: A Unifying Approach
‌: Hoare, C
Հրապարակվել է: (2004)

Combinatorial proofs of freeness of some P-algebras
‌: Vincent Vong
Հրապարակվել է: (2015-01-01)

Algebra of concurrent design
‌: Hoare, T
Հրապարակվել է: (2012)

In praise of algebra
‌: Hoare, T, և այլն
Հրապարակվել է: (2012)

How Did Software Get So Reliable Without Proof?
‌: Hoare, C
Հրապարակվել է: (1996)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
‌: Hoare, C
Հրապարակվել է: (2015)

Exponential lower bound for static semi−algebraic proofs
‌: Grigoriev, D, և այլն
Հրապարակվել է: (2002)

Exponential lower bound for static semi-algebraic proofs
‌: Grigoriev, Dima., և այլն
Հրապարակվել է: (2014)

An algebraic proof for the identities for the degree of syzygies in numerical semigroup
‌: Neeraj Kumar, և այլն
Հրապարակվել է: (2012-05-01)

Algebra of Logic Programming
‌: Seres, S, և այլն
Հրապարակվել է: (1999)

Algebra of Logic Programming
‌: Seres, S, և այլն
Հրապարակվել է: (1999)

From Algebra to Operational Semantics
‌: He, J, և այլն
Հրապարակվել է: (1993)

Organizing the mathematical proof process with the help of basic components in teaching proof: Abstract algebra example
‌: Aysun Yeşilyurt Çetin, և այլն
Հրապարակվել է: (2021-04-01)

A Zero-Knowledge Proof System with Algebraic Geometry Techniques
‌: Edgar González Fernández, և այլն
Հրապարակվել է: (2020-01-01)

Algebra Unifies Operational Calculi
‌: van Staden, S, և այլն
Հրապարակվել է: (2012)

Algebraic proof of recursive relation for Boros-Moll polynomial sequence
‌: Yujie DOU, և այլն
Հրապարակվել է: (2023-08-01)

From Algebra to Operational Semantics
‌: Hoare, C, և այլն
Հրապարակվել է: (2015)

Algebraic derivation of an operational semantics
‌: Hoare, C, և այլն
Հրապարակվել է: (2000)

Concurrent Kleene Algebra
‌: Hoare, C, և այլն
Հրապարակվել է: (2009)

A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls
‌: Troxel, Gregory D. (Gregory Donald)
Հրապարակվել է: (2005)

Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)
‌: Petr Jancar
Հրապարակվել է: (2013-03-01)