Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Barbara Liskov
Providing High Availability Using Lazy Replication
ACM Transactions on Computer Systems
Computer Science
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems
Software
Related publications
On Sample-Path Staleness in Lazy Data Replication
High-Throughput State-Machine Replication Using Software Transactional Memory
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
SAT-Based Compositional Verification Using Lazy Learning
Animal Behaviour: Lazy Male Birds Pay a High Price
Nature
Multidisciplinary
Semantics of Lazy Evaluation Using the Two-Level Grammar
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Lazy Arithmetic
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Practical Typed Lazy Contracts
ACM SIGPLAN Notices
Computer Science
Explaining the Lazy Krivine Machine Using Explicit Substitution and Addresses
Higher-Order and Symbolic Computation
Lazy XSL Transformations
