Open AccessSolving parallel equations for Finite State Machines with Timeouts
Author(s) -
Olga Kondratyeva,
Nina Yevtushenko,
Ana Cavalli
Publication year - 2014
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2014-26(6)-8
Subject(s) - timeout , finite state machine , context (archaeology) , computer science , component (thermodynamics) , reduction (mathematics) , state (computer science) , theoretical computer science , algorithm , mathematics , computer network , paleontology , physics , geometry , biology , thermodynamics