Открытый каталог публикаций OpenAlex 41 документ

• Logics for Concurrency
  авторы: Gerhard Goos; Jan Van Leeuwen; Faron Moller и др. год: 1996 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Petri nets and the equivalence problem
  автор: Yoram Hirshfeld год: 2006 источник: Computer Science Logic тип: глава из книги
  Страница публикацииПодробнее
• Logical Approaches to Computational Barriers
  авторы: Arnold Beckmann; Ulrich Berger; Benedikt Löwe и др. год: 2006 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Mobile Processes: A Commented Bibliography
  автор: Silvano Dal Zilio год: 2001 источник: Lecture notes in computer science тип: глава из книги
  Полный текстПодробнее
• A note on well quasi-orderings for powersets
  автор: Petr Jančar год: 1999 источник: Information Processing Letters тип: статья из журнала
  Страница публикацииПодробнее
• The medial habenula and interpeduncular nucleus circuitry is critical in addiction, anxiety, and mood regulation
  авторы: Ian McLaughlin; John A. Dani; Mariella De Biasi год: 2017 источник: Journal of Neurochemistry тип: review
  Полный текстПодробнее
• Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm
  автор: Petr Jančar год: 2008 источник: Information and Computation тип: статья из журнала
  Страница публикацииПодробнее
• Analyzing Behavioral Substitution of Web Services Based on Pi-calculus
  авторы: Li Kuang; Yingjie Xia; Shuiguang Deng и др. год: 2010 тип: статья
  Страница публикацииПодробнее
• Linearization in parallel pCRL
  авторы: Jan Friso Groote; Alban Ponse; Yaroslav S. Usenko год: 2001 источник: The Journal of Logic and Algebraic Programming тип: статья из журнала
  Полный текстПодробнее
• PAM: A process algebra manipulator
  автор: Huimin Lin год: 1995 источник: Formal Methods in System Design тип: статья из журнала
  Страница публикацииПодробнее
• A coinduction principle for recursive data types based on bisimulation
  автор: M.P. Fiore год: 2002 тип: статья
  Страница публикацииПодробнее
• Modelling Computing Systems
  авторы: Faron Moller; Georg Struth год: 2013 источник: Undergraduate topics in computer science тип: книга
  Страница публикацииПодробнее
• Formal Methods in Computation
  автор: Faron Moller год: 2002 источник: The Computer Journal тип: статья из журнала
  Страница публикацииПодробнее
• A CCS-based investigation of deadlock in a multi-process electronic mail system
  автор: Gordon Brebner год: 1993 источник: Formal Aspects of Computing тип: статья из журнала
  Страница публикацииПодробнее
• Getting Demos models right. (II) … and theory
  авторы: Graham Birtwistle; Chris Tofts год: 2001 источник: Simulation Practice and Theory тип: статья из журнала
  Страница публикацииПодробнее