DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Unbounded nondeterminism
Unbounded nondeterminism
Edsger W. Dijkstra: a Commemoration
Massachusetts Institute of Technology Artificial Intelligence Laboratory
Actor Model of Computation
Common Sense for Concurrency and Strong Paraconsistency Using Unstratified Inference and Reflection
Fifty Years of Hoare's Logic
The Theory and Practice of Concurrency A.W. Roscoe
Actor Model of Computation: Scalable Robust Information Systems
Actor Model of Computation for Scalable Robust Information Systems Carl Hewitt
Relational Reasoning About Functions and Nondeterminism Basic Research in Computer Science
Actor Model of Computation: Scalable Robust Information Systems
Actor Model of Computation for Scalable Robust Information Systems Carl Hewitt
Edsger W. Dijkstra: a Commemoration
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency *
Top View