Research directions for concurrency

Authors:
Joseph Sifakis
Affiliations:
Laboratoire VERIMAG, Miniparc-Zirst, Rue Lavoisier, 38330 Montbonnot Saint Martin, France
Venue:
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Year:
1996

Citing 0
Cited 3

Software engineering for safety: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Action Refinement from a Logical Point of View

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
On hierarchically developing reactive systems

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract