BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moller:Faron

Contributed to:

IFM 20122012
CSL 20062006
FoSSaCS 20022002
LICS 19991999
CAV 19941994
ICALP 19921992
ICALP 19901990
LICS 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.