Permutable Agents in Process Algebras

Authors:
François Michel;Pierre Azéma;François Vernadat
Affiliations:
-;-;-
Venue:
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Year:
1996

Citing 0
Cited 2

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Virtual Symmetry Reduction

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract