`Travelled to:`

1 × Austria

1 × France

1 × Hungary

2 × Italy

2 × USA

`Collaborated with:`

∅ A.M.Rabinovich B.Victor C.M.N.Tofts W.Harwood A.Setzer Y.Isobe H.N.Nguyen M.Roggenbach P.Jancar A.Kucera Z.Sawa

`Talks about:`

workbench (1) congruenc (1) behaviour (1) axiomatis (1) nonexist (1) calculus (1) automata (1) approxim (1) approach (1) abstract (1)

## Person: Faron Moller

### DBLP: Moller:Faron

### Contributed to:

### Wrote 8 papers:

- IFM-2012-IsobeMNR #approach #capacity #csp #safety
- Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.
- CSL-2006-HarwoodMS #bisimulation
- Weak Bisimulation Approximants (WH, FM, AS), pp. 365–379.
- FoSSaCS-2002-JancarKMS #automaton #bound #proving
- Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds (PJ, AK, FM, ZS), pp. 172–186.
- LICS-1999-MollerR #on the #power of
- On the Expressive Power of CTL (FM, AMR), pp. 360–368.
- CAV-1994-VictorM #π-calculus
- The Mobility Workbench — A Tool for the π-Calculus (BV, FM), pp. 428–440.
- ICALP-1992-MollerT #abstraction #behaviour
- Behavioural Abstraction in TCCS (FM, CMNT), pp. 559–570.
- ICALP-1990-Moller #algebra #process
- The Importance of the Left Merge Operator in Process Algebras (FM), pp. 752–764.
- LICS-1990-Moller #axiom #finite
- The Nonexistence of Finite Axiomatisations for CCS Congruences (FM), pp. 142–153.