bisimulation

E. Vinarskii V. Zakharov On some properties of timed finite state machines // System Informatics. — . — # 17.  — P. 11-20
N. Gribovskaya I. Virbitskaite Transition Systems from Casual Reversible Prime Event Structures // System Informatics. — . — # 24.  — P. 59-90
Subscribe to bisimulation