Linked Data Explorerhttp://worldcat.org/entity/work/id/137270900
Parallel programming : an axiomatic approach
The paper develops some ideas expounded in a previous paper. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, communication and colluding. In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. The program structuring methods described in the report are not suitable for the construction of operating systems.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/computer_programming_and_software
- http://id.worldcat.org/fast/1052939
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/compilers
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/parallel_processors
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/mathematical_logic
- http://id.loc.gov/authorities/subjects/sh85097827
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/computer_programming
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/syntax
- http://experiment.worldcat.org/entity/work/data/137270900#Topic/computer_hardware
http://schema.org/description
- "The paper develops some ideas expounded in a previous paper. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, communication and colluding. In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. The program structuring methods described in the report are not suitable for the construction of operating systems."@en