Systematic parallel programming (formal program development)

Authors:
Juergen Dingel;Stephen D. Brookes
Affiliations:
-;-
Venue:
Systematic parallel programming (formal program development)
Year:
2000

Citing 0
Cited 3

Thinking Tools for the Future of Computing Science

Informatics - 10 Years Back. 10 Years Ahead.
Splitting atoms safely

Theoretical Computer Science
Abstraction as a unifying link for formal approaches to concurrency

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract