#### Filter Results:

- Full text PDF available (247)

#### Publication Year

1976

2017

- This year (3)
- Last 5 years (30)
- Last 10 years (83)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Egon Börger, Erich Grädel, Yuri Gurevich
- Perspectives in Mathematical Logic
- 1997

- Yuri Gurevich
- ACM Trans. Comput. Log.
- 2000

We examine sequential algorithms and formulate a sequential-time postulate, an abstract-state postulate, and a bounded-exploration postulate . Analysis of the postulates leads us to the notion of sequential abstract-state machine and to the theorem in the title. First we treat sequential algorithms that are deterministic and noninteractive. Then we consider… (More)

- Yuri Gurevich, Saharon Shelah
- 26th Annual Symposium on Foundations of Computer…
- 1985

We prove that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called non-monotone (in our terminology, inflationary) inductions respectively, all have the same expressive power in the case of finite structures. As a by-product, the collapse of the corresponding fixed-point hierarchies can be deduced.

- Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
- Theor. Comput. Sci.
- 2003

The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development… (More)

- Yuri Gurevich, Itay Neeman
- 2008 21st IEEE Computer Security Foundations…
- 2008

DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authorization languages in the literature. Yet its query algorithm is within the same bounds of computational complexity as e.g. that of SecPAL. DKAL's communication is targeted which is… (More)

- Andreas Blass, Yuri Gurevich
- ACM Trans. Comput. Log.
- 2003

We give an axiomatic description of parallel, synchronous algorithms. Our main result is that every such algorithm can be simulated, step for step, by an abstract state machine with a background that provides for multisets.

- Yuri Gurevich
- IFIP Congress
- 1994

I am delighted to open the rst workshop devoted entirely to evolving algebras. For the sake of brevity, I shorten the term \evolving algebra" to \ealgebra" (pronounce e-algebra) or \EA". The main goal of the evolving algebra methodology is to provide succinct and executable formal speci cations for algorithms. Here the term algorithm is taken in a broad… (More)

- Yuri Gurevich, Leo Harrington
- STOC
- 1982

In 1969 Rabin introduced tree automata and proved one of the deepest decidability results. If you worked on decision problems you did most probably use Rabin's result. But did you make your way through Rabin's cumbersome proof with its induction on countable ordinals? Building on ideas of our predecessors-&-mdash;and especially those of… (More)

- Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
- ISSTA
- 2002

We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have typically too many, often infinitely many states. We group ASM states into finitely many hyperstates which… (More)

- Yuri Gurevich, James K. Huggins
- CSL
- 1992

We present formal operational semantics for the C programming language. Our starting point is the ANSI standard for C as described in [KR]. Knowledge of C is not necessary (though it may be helpful) for comprehension, since we explain all relevant aspects of C as we proceed. Our operational semantics is based on evolving algebras. An exposition on evolving… (More)