550 citations · 767 across the 43 of their papers we have counts for
4 papers · 1 filter
Evolving Algebras 1993: Lipari Guide
Yuri Gurevich
Computation models and specification methods seem to be worlds apart. The project on abstract state machines (in short ASMs, also known as evolving algebras) started as an attempt…
Witness Algebra and Anyon Braiding
Andreas Blass, Yuri Gurevich
Topological quantum computation employs two-dimensional quasiparticles called anyons. The generally accepted mathematical basis for the theory of anyons is the framework of modular…
Who needs category theory?
Andreas Blass, Yuri Gurevich
In mathematical applications, category theory remains a contentious issue, with enthusiastic fans and a skeptical majority. In a muted form this split applies to the authors of thi…
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Andreas Blass, Yuri Gurevich
Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories c…