The Static Derivation of Concurrency and its Mechanzed Certification

Authors:
Christian Lengauer;Chua-Huang Huang
Affiliations:
-;-
Venue:
Seminar on Concurrency, Carnegie-Mellon University
Year:
1984

Citing 0
Cited 2

A mechanically certified theorem about optimal concurrency of sorting networks

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mechanised wire-wise verification of Handel-C synthesis

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract