Willy Picard. An Algebraic Algorithm for Structural Validation of Social Protocols. In Witold Abramowicz, editor, Business Information Systems, 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings. Volume 4439 of Lecture Notes in Computer Science, pages 570-583, Springer, 2007. [doi]
Abstract is missing.