Matches in DBpedia 2016-04 for { <http://research.microsoft.com/en-us/um/people/lamport/tla/hyperbook.html> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- hyperbook.html accessDate "2015-05-10".
- hyperbook.html authorlink "Leslie Lamport".
- hyperbook.html date "2015-02-28".
- hyperbook.html first "Leslie".
- hyperbook.html isCitedBy PlusCal.
- hyperbook.html last "Lamport".
- hyperbook.html page "7".
- hyperbook.html quote ""PlusCal is more convenient than TLA+ for describing the flow of control in an algorithm. This generally makes it better for specifying sequential algorithms and shared-memory multiprocess algorithms."".
- hyperbook.html title "Principles and Specifications of Concurrent Systems".
- hyperbook.html url hyperbook.html.