TY - GEN
T1 - Euclidean model checking
T2 - 5th International Conference on Algebraic Informatics, CAI 2013
AU - Agha, Gul
PY - 2013
Y1 - 2013
N2 - We typically represent the global state of a concurrent system as the crossproduct of individual states of its components. This leads to an explosion of potential global states: consider a concurrent system with a thousand actors, each of which may be in one of 5 states. This leads to a possible 5 1000 global states. Obviously, it is not feasible to exhaustively search the state space in such systems. In fact, actors often have an even larger number of states (than say 5), although these states may be abstracted to fewer states.
AB - We typically represent the global state of a concurrent system as the crossproduct of individual states of its components. This leads to an explosion of potential global states: consider a concurrent system with a thousand actors, each of which may be in one of 5 states. This leads to a possible 5 1000 global states. Obviously, it is not feasible to exhaustively search the state space in such systems. In fact, actors often have an even larger number of states (than say 5), although these states may be abstracted to fewer states.
UR - http://www.scopus.com/inward/record.url?scp=84884723616&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84884723616&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40663-8_1
DO - 10.1007/978-3-642-40663-8_1
M3 - Conference contribution
AN - SCOPUS:84884723616
SN - 9783642406621
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 3
BT - Algebraic Informatics - 5th International Conference, CAI 2013, Proceedings
Y2 - 3 September 2013 through 6 September 2013
ER -