Practical techniques for the design, specification, verification, and implementation of concurrent systems

Authors:
Rance Cleaveland;Philip M. Lewis;Scott A. Smolka
Affiliations:
SUNY at Stony Brook, Stony Brook, NY;SUNY at Stony Brook, Stony Brook, NY;SUNY at Stony Brook, Stony Brook, NY
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2000

Citing 2
Cited 0

Partial-Order Reduction in the Weak Modal Mu-Calculus

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
The Concurrency Factory: A Development Environment for Concurrent Systems

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.02

Visualization

Abstract