#### Filter Results:

- Full text PDF available (27)

#### Publication Year

1998

2018

- This year (18)
- Last 5 years (50)
- Last 10 years (78)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Andrey Mokhov, Alexandre Yakovlev
- IEEE Transactions on Computers
- 2010

The paper introduces a new formal model for specification and synthesis of control paths in the context of asynchronous system design. The model, called Conditional Partial Order Graph (CPOG),â€¦ (More)

- Andrey Mokhov, Alexandre Yakovlev
- 2008 Design, Automation and Test in Europe
- 2008

The paper introduces a new formal model for specifying control paths in the context of asynchronous system design. The model, called Conditional Partial Order Graph (CPOG), is capable of capturingâ€¦ (More)

- Ivan Poliakov, Danil Sokolov, Andrey Mokhov
- ICATPN
- 2007

Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an easily extensible andâ€¦ (More)

- Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev
- IET Computers & Digital Techniques
- 2011

- Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alexandre Yakovlev
- 2009 15th IEEE Symposium on Asynchronous Circuitsâ€¦
- 2009

When circuits need to be constructed out of several self timed parts that access shared resources, asynchronous arbitration is often required. We consider the creation of the general purpose arbiterâ€¦ (More)

- Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alexandre Yakovlev
- 2011 Eleventh International Conference onâ€¦
- 2011

Parallel composition of labelled Petri nets is a fundamental operation in modular design. It is often used to combine models of subsystems into a model of the whole system. Unfortunately, theâ€¦ (More)

- Simon Marlow, Simon L. Peyton Jones, Edward Kmett, Andrey Mokhov
- Haskell
- 2016

Monads have taken the world by storm, and are supported by do-notation (at least in Haskell). Programmers are increasingly waking up to the usefulness and ubiquity of Applicatives, but they have soâ€¦ (More)

A large number of models that are employed in the field of concurrent systemsâ€™ design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures have an underlying staticâ€¦ (More)

- Andrey Mokhov, Josep Carmona, Jonathan Beaumont
- T. Petri Nets and Other Models of Concurrency
- 2016

Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checked against an eventâ€¦ (More)

- Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alexandre Yakovlev
- Ninth ACM/IEEE International Conference on Formalâ€¦
- 2011

Instruction sets of modern processors contain hundreds of instructions defined on a relatively small set of datapath components and distinguished by their codes and the order in which they activateâ€¦ (More)