Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Faron Moller

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yoram Hirshfeld

> Home > Persons > Faron Moller

Publications

2001
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HirshfeldM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HirshfeldM01
Yoram Hirshfeld, Faron Moller:
Pushdown automata, multiset automata, and Petri nets. Theor. Comput. Sci. 256(1-2): 3-21 (2001)
2000
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/HirshfeldM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HirshfeldM00
Yoram Hirshfeld, Faron Moller:
On the star height of unary regular behaviours. Proof, Language, and Interaction 2000: 497-510
1996
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HirshfeldJM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HirshfeldJM96
Yoram Hirshfeld, Mark Jerrum, Faron Moller:
A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence of Normed Basic Parallel Processes. Math. Struct. Comput. Sci. 6(3): 251-259 (1996)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HirshfeldJM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HirshfeldJM96
Yoram Hirshfeld, Mark Jerrum, Faron Moller:
A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. Theor. Comput. Sci. 158(1&2): 143-159 (1996)
1995
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/banff/HirshfeldM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/banff/HirshfeldM95
Yoram Hirshfeld, Faron Moller:
Decidability Results in Automata and Process Theory. Banff Higher Order Workshop 1995: 102-148
1994
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/ChristensenHM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/ChristensenHM94
Søren Christensen, Yoram Hirshfeld, Faron Moller:
Decidable Subsets of CCS. Comput. J. 37(4): 233-242 (1994)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HirshfeldM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HirshfeldM94
Yoram Hirshfeld, Faron Moller:
A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. CONCUR 1994: 48-63
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/HirshfeldJM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/HirshfeldJM94
Yoram Hirshfeld, Mark Jerrum, Faron Moller:
A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes. FOCS 1994: 623-631
1993
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/ChristensenHM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/ChristensenHM93
Søren Christensen, Yoram Hirshfeld, Faron Moller:
Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR 1993: 143-157
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ChristensenHM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ChristensenHM93
Søren Christensen, Yoram Hirshfeld, Faron Moller:
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes. LICS 1993: 386-396

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.