Efficient formal methods for the synthesis of concurrent programs

Authors:
Paul C. Attie
Affiliations:
School of Computer Science, Florida International University and MIT Laboratory for Computer Science, Cambridge, MA
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2000

Citing 3
Cited 0

Synthesis of concurrent systems with many similar processes

ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of fault-tolerant concurrent programs

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Liveness-preserving simulation relations

Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing

Quantified Score

Hi-index	0.01

Visualization

Abstract