Вы здесь

Moller F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Weak Bisimulation Approximants 2006 Harwood W., Moller F., Setzer A. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.10.2006
СТ Decidability Results in Automata and Process Theory 1996 Hirshfeld Y., Moller F. Lecture Notes in Computer Science 30.03.1996
СТ Checking Regular Properties of Petri Nets 1995 Jancar P., Moller F. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
П The Nonexistence of Finite Axiomatisations for CCS congruences 1989 Moller F. Univ.Edinburgh 20.06.1995
СТ A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes 1994 Hieshfeld Y., Moller F. Lecture Notes in Computer Science 26.08.1994
СТ Bisimulation Equivalence is Decidable for Basic Parallel Processes 1993 Christensen S., Hirshfeld Y., Moller F. Lecture Notes in Computer Science 19.10.1993
СТ Verification of Parallel System Via Decomposition 1992 Groote J. F., Moller F. Lecture Notes in Computer Science 16.10.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logics for Concurrency: Structure versus Automata 1996 Lecture Notes in Computer Science
  1. Moller F.
  2. Birtwistle G.
30.03.1996