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:
2012
2006
2002
1999
1994
199219901990Wrote 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.