Concurrent Systems Need Both Sequences And Serializers
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0...
Main Author: | Hewitt, Carl |
---|---|
Format: | Working Paper |
Language: | en_US |
Published: |
MIT Artificial Intelligence Laboratory
2008
|
Online Access: | http://hdl.handle.net/1721.1/41146 |
Similar Items
-
Guardians for Concurrent Systems
by: Hewitt, Carl, et al.
Published: (2008) -
Specification and Proof Techniques for Serializers
by: Atkinson, Russell, et al.
Published: (2004) -
Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism
by: Agha, Gul, et al.
Published: (2004) -
Serial Quantization for Sparse Time Sequences
by: Cohen, Alejandro, et al.
Published: (2022) -
Preventing Recursion Deadlock in Concurrent Object-oriented Systems
by: Brewer, Eric A., et al.
Published: (2023)