2 papers
cs.LO2013
Time Estimation Model of Concurrent Computing Systems
Ahmet A. Husainov, E. S. Kudryashova
We consider an asynchronous system with transitions corresponding to the instructions of a computer system. For each instruction, a runtime is given. We propose a mathematical mode…
cs.DC2012
Generalized Asynchronous Systems
Ahmet A. Husainov, Ekaterina S. Kudryashova
The paper is devoted to a mathematical model of concurrency the special case of which is asynchronous system. Distributed asynchronous automata are introduced here. It is proved th…