F. Moller
发表
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Mathematical Structures in Computer Science.
Faron Moller,
F. Moller,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
F. Moller,
1998
.
F. Moller,
S. Smolka,
J. Srba,
2003,
Inf. Comput..
Faron Moller,
Catherine Ball,
Reena Pau,
2012,
WiPSCE.
F. Moller,
T. Crick,
2018
.
F. Moller,
2000
.
L. Preucil,
F. Moller,
R. Stärk,
2017
.
F. Moller,
C. Tofts,
2001
.
F. Moller,
Liam O'Reilly,
2019,
Journal of Higher Education Theory and Practice.
Hoang Nga Nguyen,
F. Moller,
H. Treharne,
2016
.
Faron Moller,
Daniel Archambault,
Phillip James,
2019,
FTSCS.
Faron Moller,
Tom Crick,
F. Moller,
2018,
Journal of Computers in Education.
Faron Moller,
Antonín Kucera,
Petr Jancar,
2003,
CONCUR.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
2001,
Theor. Comput. Sci..
Faron Moller,
Bernhard Steffen,
Olaf Burkart,
2001,
Handbook of Process Algebra.
F. Moller,
D. Caucal,
Olaf Burkart,
2000
.
Faron Moller,
Petr Jancar,
F. Moller,
1999,
CONCUR.
Faron Moller,
F. Moller,
1998,
MFCS Workshop on Concurrency.
Faron Moller,
F. Moller,
1996,
CONCUR.
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Theor. Comput. Sci..
Faron Moller,
Mark Jerrum,
Yoram Hirshfeld,
1994,
Proceedings 35th Annual Symposium on Foundations of Computer Science.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1993,
CONCUR.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Faron Moller,
Graham M. Birtwistle,
F. Moller,
1996,
Lecture Notes in Computer Science.
Faron Moller,
Chris M. N. Tofts,
F. Moller,
1990,
CONCUR.
Faron Moller,
Yoshinao Isobe,
Nguyen Hoang Nga,
2012,
IFM.
F. Moller,
2004,
Earth and Environmental Science Transactions of the Royal Society of Edinburgh.
Faron Moller,
Stewart Powell,
F. Moller,
2019,
Workshop in Primary and Secondary Computing Education.
Faron Moller,
F. Moller,
1999
.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
1996,
Banff Higher Order Workshop.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
1994,
CONCUR.
Faron Moller,
F. Moller,
1989
.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
International Journal on Software Tools for Technology Transfer.
Faron Moller,
F. Moller,
2016
.
Faron Moller,
Graham Birtwistel,
F. Moller,
1996
.
Faron Moller,
Anton Setzer,
Will Harwood,
2006,
CSL.
Faron Moller,
Antonín Kucera,
Petr Jancar,
2000,
STACS.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
Sci. Comput. Program..
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2013,
SEFM Workshops.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2012,
Haifa Verification Conference.
Faron Moller,
Jan Friso Groote,
J. F. Groote,
1992,
CONCUR.
Faron Moller,
Javier Esparza,
Petr Jancar,
1999,
J. Comput. Syst. Sci..
Faron Moller,
Petr Jancar,
F. Moller,
1995,
CONCUR.
Faron Moller,
Yoram Hirshfeld,
Y. Hirshfeld,
2000,
Proof, Language, and Interaction.
Faron Moller,
Markus Roggenbach,
Mike Smith,
2014,
TPCG.
Faron Moller,
Alexander Moshe Rabinovich,
F. Moller,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
Y. Hirshfeld,
F. Moller,
Søren Christensen,
1993,
CONCUR.
Faron Moller,
Yoram Hirshfeld,
Søren Christensen,
1994,
Comput. J..