Michel, F., Azema, P. and Vernadat, F., Permutable Agents in Process Algebra. In Tools and Algorithms for the Construction and Analysis of Systems, 96, Springer Verlag, LNCS 1055, 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (11 citations) (Correct)
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (11 citations) (Correct)
An Operator for Symmetry Representation and Exploitation in.. - Holger Hermanns (1997) (3 citations) (Correct)
An Operator for Symmetry Representation and Exploitation in.. - Hermanns (1997) (3 citations) (Correct)
Virtual Symmetry Reduction - Emerson, Havlicek, Trefler (2000) (1 citation) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC