User loginNavigation |
OPIS -- Distributed Arrows In O'CamlThe short version is that they let you deploy "Arrows" over the network. The long version makes reference to Lamport and touches on the use of theorem provers in their system. By Jason Dusek at 2008-08-19 08:31 | LtU Forum | previous forum topic | next forum topic | other blogs | 9100 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 13 hours ago
17 weeks 13 hours ago
17 weeks 13 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago