@inproceedings{7273b3f8c22d4672abe9de104053e270,

title = "Efficient symmetry reduction for an actor-based model",

abstract = "Symmetry reduction is a promising technique for combatting state space explosion in model checking. The problem of finding the equivalence classes, i.e., the so-called orbits, of states under symmetry is a difficult problem known to be as hard as graph isomorphism. In this paper, we show how we can automatically find the orbits in an actor-based model, called Rebeca, without enforcing any restriction on the modeler. The proposed algorithm solves the orbit problem for Rebeca models in polynomial time. As a result, the simple actor-based Rebeca language can be utilized efficiently for modeling and verification of systems, without involving the modeler with the details of the verification technique implemented.",

author = "M.M. Jaghoori and M. Sirjani and M.R. Mousavi and A. Movaghar",

year = "2005",

doi = "10.1007/11604655_56",

language = "English",

isbn = "3-540-30999-3",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "494--507",

editor = "G. Chakraborty",

booktitle = "Distributed Computing and Internet Technology",

address = "Germany",

}