Вы здесь

Главная

Russian Academy of Science, Siberian Division

Связанные издания:

Algebraic characterization of bihavioural equivalences over event structures
Algebraic specifications for dataflow computations design
A multi-branch narrowing: satisfiability and termination
A.P.Ershov Institute of Informatics Systems
Background for formalisation of complex systems
Coloured Petri net approach to modeling of SDL specifications with dynamic constructions
Institute of Informatics Systems
Joint Bulletin of the Novosibirsk Computer Center and A. P. Ershov Institute of Informatics Systems
Joint Bulletin of the Novosibirsk Computing Center and the Institute of Informatics Systems
Model checking puzzles in mu-Calculus
Modularization of typed Gurevich machines
Reduction of coloured Petri nets based on resourse bisimulation