Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
взаимодействующий
Связанные издания:
Application of CTRON to communication networks
Coordination Models and Languages: Proc./11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 2009
Distributed Applications and Interoperable Systems: Proc./15th IFIP WG 6.1 International Conference, DAIS 2015 Held as Part of the 10th International Conference, DisCoTec 2015, Grenoble, France, June 2015
Distributed Computing and Internet Technology: Proc./8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2012
High Performance Embedded Architectures and Compilers: Proc./5th International Conference, HiPEAC 2010, Pisa, Italy, January 2010
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/16th International Workshop, JSSPP 2012, Shanghai, China, May 2012
LATIN 2012: Theoretical Informatics: Proc./10th Latin American Symposium, Arequipa, Peru, April 2012
Mazurkiewicz Traces Semantics for Communicating Sequential Processes
Social Informatics: Revised Selected Papers/ Socinfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 2013
Testing Software and Systems: Proc./23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011
Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Transactions on Petri Nets and Other Models of Concurrency VI
Un systeme de verification de processus paralleles et communicants
Взвимодействующие последовательные объекты
Модель взаимодействующих сетей Петри
О средствах прохождения и коммутации коллективов процессов
Язык спецификаций систем и свойств взаимодействую их процессов реального времени
Язык спецификаций систем и свойств взаимодействую их процессов реального времени