Searching for "Intra-step Interaction." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Intra-Step Interaction
- …Intra-Step Interaction ⋆ Yuri Gurevich Microsoft Research One Microsoft Way, Redmond, WA 98052…
- Add To MetaCart
-
Interactive small-step algorithms I: Axiomatization,
- … intra-step interaction, but with communication between subprocesses in the parallel case), and ordinary…
- Cited by 3 (2 self) – Add To MetaCart
-
PERSISTENT QUERIES
- …; the environment can make essentially arbitrary inter-step changes to the state. Intra-step interaction…
- Add To MetaCart
-
Ordinary Interactive Small-Step Algorithms
- … definitions of algorithms dealt with intra-step interaction. For example, [Gurevich 2000] dealt only…
- Cited by 19 (11 self) – Add To MetaCart
-
Model-Based Testing of Cryptographic Protocols
- … typical of computational cryptography directly. In the framework of intra-step interactive algorithms…
- Cited by 3 (1 self) – Add To MetaCart
-
Algorithms: A quest for absolute definitions
- … computation . . . . . . . . . . . . . . 23 7.2 Intra-step interacting algorithms…
- Cited by 9 (6 self) – Add To MetaCart
-
Contents
- … . . . . . . . . . . . . . . 24 7.2 Intra-step interacting algorithms . . . . . . . . . . . . . . . . . . . . 25 1 Introduction…
- Add To MetaCart
Showing 1 through 7.
