Yuri Gurevich and James K. Huggins EECS Department, University of Michigan,...  Home/Search
Context Related
| microsoft.com/~gurevich/Opera...117.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/~gurevi...annotated (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is self-contained. In the remainder of this section, we explain the two ring buffer algorithms and discuss our disagreements with Lamport. In Section 2, we give a brief introduction to evolving algebras. In Section 3, we present our formalizations of the ring buffer algorithms as evolving algebras. In Section 4, we define a version of lock-step equivalence and prove that our formalizations of these algorithms are equivalent in that sense. Finally,we discuss the inequivalence of these ... (Update)
Context of citations to this paper: More
.... than required; if the application has a finer notion of equivalence, one has to identify items which one really wants to distinguish (see [43]) Evolving algebras can be used in connection with any notion of equivalence. Another illustration comes from the success obtained by...
...recently in [4] We present here a self contained introduction to ASMs. Sections 1.1 through 1. 4 describe distributed ASMs (adapted from [5]) section 1.5 describes real time ASMs. Those already familiar with ASMs may skip ahead to section 2. 1.1 States The states of a ASM...
Cited by: More
Characterizing Grids: Attributes, Definitions, and Formalisms - Nemeth, Sunderam (2003) (Correct)
Integrating State Charts in Specware and Aspects of Correct.. - Kutter (1996) (Correct)
Broy-Lamport Specification Problem: A Gurevich Abstract State.. - Huggins (1996) (Correct)
Similar documents (at the sentence level):
9.0%: Evolving Algebras - Mini-Course - Gurevich, Börger (1995) (Correct)
Active bibliography (related documents): More All
1.1: Equivalence Is In The Eye Of The Beholder - Gurevich, Huggins (1997) (Correct)
0.4: State Transitions modeled as Refinements - Kutter (1996) (Correct)
0.3: The Railroad Crossing Problem: - An Experiment With (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Group membership protocol: Specification and verification - Gurevich, Mani
2: Modelling and analysis of distributed and reactive systems using evolving algebr.. (context) - Borger, Glasser
2: An evolving algebra solution to the steam-boiler control specification problem (context) - Beierle, Borger et al. - 1995
BibTeX entry: (Update)
Y. Gurevich and J. Huggins. Equivalence is in the eye of the beholder. CSE TR 240-95, University of Michigan at Ann Arbor. http://citeseer.ist.psu.edu/753657.html More
@article{ gurevich97equivalence,
author = "Yuri Gurevich and James K. Huggins",
title = "Equivalence is in the eye of the beholder",
journal = "Theoretical Computer Science",
volume = "179",
number = "1--2",
pages = "353--380",
year = "1997",
url = "citeseer.ist.psu.edu/753657.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
168 The temporal logic of actions - Lamport
149 Logic and the challenge of computer science (context) - Gurevich - 1988
84 Evolving Algebras (context) - Gurevich - 1993
40 The WAM - definition and compiler correctness - Borger, Rosenzweig - 1994
40 Evolving Algebras: An Attempt to Discover Semantics - Gurevich - 1991
37 Correctness of compiling Occam to Transputer code (context) - Borger, urd et al. - 1996
25 How to write a proof - Lamport - 1993
19 The Semantics of the C Programming Language - Gurevich, Huggins - 1993
3 Annotated BibliographyonEvolving Algebras (context) - Borger - 1995
2 Processes are in the Eye of the Beholder - Lamport - 1994
2 Platonism, Constructivism, and Computer Proofs vs. Proofs by.. (context) - Gurevich - 1995
http://www.eecs.umich.edu/ealgebras/
Documents on the same site (http://research.microsoft.com/~gurevich/annotated.html): More
UsingAbstra Star Ma hinesa Microsoft: ACa Study.. - Yuri Gurevich Wolfram (Correct)
Spectra of Monadic Second-Order Formulas with One Unary Function - Gurevich, Shelah (2003) (Correct)
The Results - One Of The (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC