Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Faron Moller
@inproceedings{DBLP:conf/cep/HopkinsM24,
author = {Casey Hopkins and
Faron Moller},
editor = {Jane Waite and
Ryan Crosby},
title = {Institute of Coding in Wales Digital Skills Bootcamps - Micro-Credentials:
{A} Pilot Project},
booktitle = {Proceedings of the 8th Conference on Computing Education Practice,
{CEP} 2024, Durham, United Kingdom, 5 January 2024},
pages = {21--24},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3633053.3633055},
doi = {10.1145/3633053.3633055},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cep/HopkinsM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cep/PetrovskaCMP24,
author = {Olga Petrovska and
Lee Clift and
Faron Moller and
Rebecca Pearsall},
editor = {Jane Waite and
Ryan Crosby},
title = {Incorporating Generative {AI} into Software Development Education},
booktitle = {Proceedings of the 8th Conference on Computing Education Practice,
{CEP} 2024, Durham, United Kingdom, 5 January 2024},
pages = {37--40},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3633053.3633057},
doi = {10.1145/3633053.3633057},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cep/PetrovskaCMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JamesMR23,
author = {Phillip James and
Faron Moller and
Markus Roggenbach},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Software Model Checking of Interlocking Programs},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {130--146},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_9},
doi = {10.1007/978-3-031-40132-9\_9},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JamesMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/McneillSPATMA23,
author = {Graham Mcneill and
Max Sondag and
Stewart Powell and
Phoebe Asplin and
Cagatay Turkay and
Faron Moller and
Daniel Archambault},
editor = {Albrecht Schmidt and
Kaisa V{\"{a}}{\"{a}}n{\"{a}}nen and
Tesh Goyal and
Per Ola Kristensson and
Anicia Peters and
Stefanie Mueller and
Julie R. Williamson and
Max L. Wilson},
title = {From Asymptomatics to Zombies: Visualization-Based Education of Disease
Modeling for Children},
booktitle = {Proceedings of the 2023 {CHI} Conference on Human Factors in Computing
Systems, {CHI} 2023, Hamburg, Germany, April 23-28, 2023},
pages = {839:1--839:17},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3544548.3581573},
doi = {10.1145/3544548.3581573},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/McneillSPATMA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CrickM23,
author = {Tom Crick and
Faron Moller},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {Technocamps: Highlighting 20 Years of Transforming Digital Education
in Wales},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 2, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {670},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587103.3594195},
doi = {10.1145/3587103.3594195},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/CrickM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukicer/MollerSC23,
author = {Faron Moller and
Geinor Styles and
Luke Clement},
editor = {Troy Astarte and
Faron Moller and
Keith Quille and
Se{\'{a}}n Russell},
title = {Digital Outreach via Theatre Productions},
booktitle = {Proceedings of the 2023 Conference on United Kingdom {\&} Ireland
Computing Education Research, Swansea, Wales, UK, September 7-8, 2023},
pages = {17:1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610969.3611130},
doi = {10.1145/3610969.3611130},
timestamp = {Thu, 16 Nov 2023 09:03:13 +0100},
biburl = {https://dblp.org/rec/conf/ukicer/MollerSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukicer/Moller23,
author = {Faron Moller},
editor = {Troy Astarte and
Faron Moller and
Keith Quille and
Se{\'{a}}n Russell},
title = {Technocamps: 30 Years of Digital Education and Professional Development
Throughout Wales},
booktitle = {Proceedings of the 2023 Conference on United Kingdom {\&} Ireland
Computing Education Research, Swansea, Wales, UK, September 7-8, 2023},
pages = {18:1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610969.3611131},
doi = {10.1145/3610969.3611131},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ukicer/Moller23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukicer/PetrovskaCM23,
author = {Olga Petrovska and
Lee Clift and
Faron Moller},
editor = {Troy Astarte and
Faron Moller and
Keith Quille and
Se{\'{a}}n Russell},
title = {Generative {AI} in Software Development Education: Insights from a
Degree Apprenticeship Programme},
booktitle = {Proceedings of the 2023 Conference on United Kingdom {\&} Ireland
Computing Education Research, Swansea, Wales, UK, September 7-8, 2023},
pages = {19:1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610969.3611132},
doi = {10.1145/3610969.3611132},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ukicer/PetrovskaCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukicer/HopkinsMR23,
author = {Casey Hopkins and
Faron Moller and
Laura Robert},
editor = {Troy Astarte and
Faron Moller and
Keith Quille and
Se{\'{a}}n Russell},
title = {Institute of Coding in Wales Digital Skills Bootcamps - {A} Model
for Stackable Micro-credentials},
booktitle = {Proceedings of the 2023 Conference on United Kingdom {\&} Ireland
Computing Education Research, Swansea, Wales, UK, September 7-8, 2023},
pages = {21:1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610969.3611134},
doi = {10.1145/3610969.3611134},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ukicer/HopkinsMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ukicer/2023,
editor = {Troy Astarte and
Faron Moller and
Keith Quille and
Se{\'{a}}n Russell},
title = {Proceedings of the 2023 Conference on United Kingdom {\&} Ireland
Computing Education Research, Swansea, Wales, UK, September 7-8, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610969},
doi = {10.1145/3610969},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ukicer/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BergerM20,
author = {Ulrich Berger and
Faron Moller},
title = {Report on {BCTCS} {\&} AlgoUK 2020},
journal = {Bull. {EATCS}},
volume = {131},
year = {2020},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/617},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/BergerM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/JamesPOM20,
author = {Phillip James and
Lauren Powell and
Liam O'Reilly and
Faron Moller},
editor = {Michail N. Giannakos and
Guttorm Sindre and
Andrew Luxton{-}Reilly and
Monica Divitini},
title = {Hands-on Security Testing in a University Lab Environment},
booktitle = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
15-19, 2020},
pages = {68--74},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341525.3387366},
doi = {10.1145/3341525.3387366},
timestamp = {Sun, 14 Jun 2020 10:48:50 +0200},
biburl = {https://dblp.org/rec/conf/iticse/JamesPOM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-05708,
author = {Antonio Cerone and
Markus Roggenbach and
James H. Davenport and
Casey Denner and
Marie Farrell and
Magne Haveraaen and
Faron Moller and
Philipp Koerner and
Sebastian Krings and
Peter Csaba {\"{O}}lveczky and
Bernd{-}Holger Schlingloff and
Nikolay Shilov and
Rustam Zhumagambetov},
title = {Rooting Formal Methods within Higher Education Curricula for Computer
Science and Software Engineering - {A} White Paper},
journal = {CoRR},
volume = {abs/2010.05708},
year = {2020},
url = {https://arxiv.org/abs/2010.05708},
eprinttype = {arXiv},
eprint = {2010.05708},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-05708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cep/MollerP19,
author = {Faron Moller and
Stewart Powell},
editor = {Steven Bradley and
Alexandra I. Cristea},
title = {Teaching Computing via a School Placement},
booktitle = {Proceedings of the 3rd Conference on Computing Education Practice,
{CEP} 2019, Durham, United Kingdom, January 09-09, 2019},
pages = {3:1--3:4},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294016.3294029},
doi = {10.1145/3294016.3294029},
timestamp = {Sat, 19 Oct 2019 20:16:44 +0200},
biburl = {https://dblp.org/rec/conf/cep/MollerP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmfun/CeroneRDDFHMKKO19,
author = {Antonio Cerone and
Markus Roggenbach and
James H. Davenport and
Casey Denner and
Marie Farrell and
Magne Haveraaen and
Faron Moller and
Philipp K{\"{o}}rner and
Sebastian Krings and
Peter Csaba {\"{O}}lveczky and
Bernd{-}Holger Schlingloff and
Nikolay V. Shilov and
Rustam Zhumagambetov},
editor = {Antonio Cerone and
Markus Roggenbach},
title = {Rooting Formal Methods Within Higher Education Curricula for Computer
Science and Software Engineering - {A} White Paper -},
booktitle = {Formal Methods - Fun for Everybody - First International Workshop,
FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1301},
pages = {1--26},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-71374-4\_1},
doi = {10.1007/978-3-030-71374-4\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmfun/CeroneRDDFHMKKO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmfun/MollerOPD19,
author = {Faron Moller and
Liam O'Reilly and
Stewart Powell and
Casey Denner},
editor = {Antonio Cerone and
Markus Roggenbach},
title = {Teaching Them Early: Formal Methods in School},
booktitle = {Formal Methods - Fun for Everybody - First International Workshop,
FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1301},
pages = {173--190},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-71374-4\_9},
doi = {10.1007/978-3-030-71374-4\_9},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmfun/MollerOPD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PantekisJOAM19,
author = {Filippos Pantekis and
Phillip James and
Liam O'Reilly and
Daniel Archambault and
Faron Moller},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {Visualising Railway Safety Verification},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {95--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_6},
doi = {10.1007/978-3-030-46902-3\_6},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/PantekisJOAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/MollerO99,
author = {Faron Moller and
Liam O'Reilly},
editor = {Brijesh Dongol and
Luigia Petre and
Graeme Smith},
title = {Teaching Discrete Mathematics to Computer Science Students},
booktitle = {Formal Methods Teaching - Third International Workshop and Tutorial,
FMTea 2019, Held as Part of the Third World Congress on Formal Methods,
{FM} 2019, Porto, Portugal, October 7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11758},
pages = {150--164},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32441-4\_10},
doi = {10.1007/978-3-030-32441-4\_10},
timestamp = {Thu, 07 Apr 2022 08:44:28 +0200},
biburl = {https://dblp.org/rec/conf/tfm/MollerO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/MollerP19,
author = {Faron Moller and
Stewart Powell},
title = {Technoteach: Supporting Computing Teachers Across Wales},
booktitle = {Proceedings of the 14th Workshop in Primary and Secondary Computing
Education, WiPSCE 2019, Glasgow, Scotland, UK, October 23-25, 2019},
pages = {9:1--9:2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3361721.3361736},
doi = {10.1145/3361721.3361736},
timestamp = {Fri, 25 Oct 2019 12:15:28 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/MollerP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChiltonKMW17,
author = {Chris Chilton and
Marta Z. Kwiatkowska and
Faron Moller and
Xu Wang},
editor = {Thomas Gibson{-}Robinson and
Philippa J. Hopcroft and
Ranko Lazic},
title = {A Specification Theory of Real-Time Processes},
booktitle = {Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William
Roscoe on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10160},
pages = {18--38},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51046-0\_2},
doi = {10.1007/978-3-319-51046-0\_2},
timestamp = {Thu, 22 Jul 2021 15:35:06 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChiltonKMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JamesMNRTW16,
author = {Phillip James and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Helen Treharne and
Xu Wang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {OnTrack: The Railway Verification Toolset - Extended Abstract},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {294--296},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_21},
doi = {10.1007/978-3-319-47169-3\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/JamesMNRTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/CrickM15,
author = {Tom Crick and
Faron Moller},
editor = {Judith Gal{-}Ezer and
Sue Sentance and
Jan Vahrenhold},
title = {Technocamps: Advancing Computer Science Education in Wales},
booktitle = {Proceedings of the Workshop in Primary and Secondary Computing Education,
WiPSCE 2015, London, United Kingdom, November 9-11, 2015},
pages = {121--126},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2818314.2818341},
doi = {10.1145/2818314.2818341},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wipsce/CrickM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JamesMNRST14,
author = {Phillip James and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne},
title = {On modelling and verifying railway interlockings: Tracking train lengths},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {315--336},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.005},
doi = {10.1016/J.SCICO.2014.04.005},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JamesMNRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JamesMNRST14,
author = {Phillip James and
Faron Moller and
Nguyen Hoang Nga and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne},
title = {Techniques for modelling and verifying railway interlockings},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {685--711},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0304-7},
doi = {10.1007/S10009-014-0304-7},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JamesMNRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcg/RobertsSMR14,
author = {Lloyd Roberts and
Mike Smith and
Faron Moller and
Markus Roggenbach},
editor = {Rita Borgo and
Wen Tang},
title = {Visualising Timed {CSP} Train Simulations for Capacity},
booktitle = {Theory and Practice of Computer Graphics, Leeds, United Kingdom, 2014.
Proceedings},
pages = {91--93},
publisher = {Eurographics Association},
year = {2014},
url = {https://doi.org/10.2312/cgvc.20141216},
doi = {10.2312/CGVC.20141216},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcg/RobertsSMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/MollerS13,
author = {Faron Moller and
Georg Struth},
title = {Modelling Computing Systems - Mathematics for Computer Science},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-84800-322-4},
doi = {10.1007/978-1-84800-322-4},
isbn = {978-1-84800-321-7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/MollerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BergstraBMW13,
author = {Jan A. Bergstra and
Jens Blanck and
Faron Moller and
Stanley S. Wainer},
title = {Guest Editorial},
journal = {Comput. J.},
volume = {56},
number = {1},
pages = {2},
year = {2013},
url = {https://doi.org/10.1093/comjnl/bxs147},
doi = {10.1093/COMJNL/BXS147},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BergstraBMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JamesMNRSTTW13,
author = {Phillip James and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne and
Matthew Trumble and
David M. Williams},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Verification of Scheme Plans Using {CSP} {\textdollar}{\textdollar}{\(\vert\)}{\(\vert\)}{\textdollar}{\textdollar}
{\(\vert\)} {\(\vert\)} {B}},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {189--204},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_15},
doi = {10.1007/978-3-319-05032-4\_15},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JamesMNRSTTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JamesLMRSSKC13,
author = {Phillip James and
Andy Lawrence and
Faron Moller and
Markus Roggenbach and
Monika Seisenberger and
Anton Setzer and
Karim Kanso and
Simon Chadwick},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Verification of Solid State Interlocking Programs},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {253--268},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_19},
doi = {10.1007/978-3-319-05032-4\_19},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JamesLMRSSKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RoggenbachMSTN12,
author = {Markus Roggenbach and
Faron Moller and
Steve A. Schneider and
Helen Treharne and
Hoang Nga Nguyen},
title = {Railway modelling in CSP{\(\vert\)}{\(\vert\)}B: the double junction
case study},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {53},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.53.791},
doi = {10.14279/TUJ.ECEASST.53.791},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RoggenbachMSTN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/MollerNRST12,
author = {Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach and
Steve A. Schneider and
Helen Treharne},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Defining and Model Checking Abstractions of Complex Railway Models
Using CSP{\(\vert\)}{\(\vert\)}B},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {193--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_20},
doi = {10.1007/978-3-642-39611-3\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/MollerNRST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/IsobeMNR12,
author = {Yoshinao Isobe and
Faron Moller and
Hoang Nga Nguyen and
Markus Roggenbach},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {Safety and Line Capacity in Railways - An Approach in Timed {CSP}},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {54--68},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_5},
doi = {10.1007/978-3-642-30729-4\_5},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/IsobeMNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wipsce/BallMP12,
author = {Catherine Ball and
Faron Moller and
Reena Pau},
editor = {Maria Knobelsdorf and
Ralf Romeike},
title = {The mindstorm effect: a gender analysis on the influence of {LEGO}
mindstorms in computer science education},
booktitle = {Workshop in Primary and Secondary Computing Education, {WIPSCE} '12,
Hamburg, Germany, November 8-9, 2012},
pages = {141--142},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2481449.2481483},
doi = {10.1145/2481449.2481483},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wipsce/BallMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/BeckmannM08,
author = {Arnold Beckmann and
Faron Moller},
editor = {Erol Gelenbe and
Samson Abramsky and
Vladimiro Sassone},
title = {On the Complexity of Parity Games},
booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
Imperial College, London, UK, 22-24 September 2008},
pages = {237--248},
publisher = {British Computer Society},
year = {2008},
url = {http://www.bcs.org/server.php?show=ConWebDoc.22905},
timestamp = {Mon, 21 Sep 2009 12:13:42 +0200},
biburl = {https://dblp.org/rec/conf/bcs/BeckmannM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KansoMS09,
author = {Karim Kanso and
Faron Moller and
Anton Setzer},
editor = {Alice Miller and
Muffy Calder},
title = {Automated Verification of Signalling Principles in Railway Interlocking
Systems},
booktitle = {Proceedings of the Eighth International Workshop on Automated Verification
of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {2},
pages = {19--31},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.015},
doi = {10.1016/J.ENTCS.2009.08.015},
timestamp = {Fri, 24 Feb 2023 13:53:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KansoMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HarwoodMS06,
author = {Will Harwood and
Faron Moller and
Anton Setzer},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {Weak Bisimulation Approximants},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {365--379},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_24},
doi = {10.1007/11874683\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HarwoodMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infinity/2004,
editor = {Julian C. Bradfield and
Faron Moller},
title = {Proceedings of the 6th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {3},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/138/issue/3},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infinity/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JancarKMS04,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller and
Zdenek Sawa},
title = {{DP} lower bounds for equivalence-checking and model-checking of one-counter
automata},
journal = {Inf. Comput.},
volume = {188},
number = {1},
pages = {1--19},
year = {2004},
url = {https://doi.org/10.1016/S0890-5401(03)00171-8},
doi = {10.1016/S0890-5401(03)00171-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JancarKMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MollerSS04,
author = {Faron Moller and
Scott A. Smolka and
Jir{\'{\i}} Srba},
title = {On the computational complexity of bisimulation, redux},
journal = {Inf. Comput.},
volume = {194},
number = {2},
pages = {129--143},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.06.003},
doi = {10.1016/J.IC.2004.06.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MollerSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BradfieldM05,
author = {Julian C. Bradfield and
Faron Moller},
editor = {Julian C. Bradfield and
Faron Moller},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {3},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.07.008},
doi = {10.1016/J.ENTCS.2005.07.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BradfieldM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MollerR03,
author = {Faron Moller and
Alexander Moshe Rabinovich},
title = {Counting on CTL\({}^{\mbox{*}}\): on the expressive power of monadic
path logic},
journal = {Inf. Comput.},
volume = {184},
number = {1},
pages = {147--159},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00104-4},
doi = {10.1016/S0890-5401(03)00104-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MollerR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MollerS03,
author = {Faron Moller and
Scott A. Smolka},
editor = {Dina Q. Goldin and
Alexander A. Shvartsman and
Scott A. Smolka and
Jeffrey Scott Vitter and
Stanley B. Zdonik},
title = {On the Computational Complexity of Bisimulation, Redux},
booktitle = {{PCK50} - Principles of Computing {\&} Knowledge, Paris C. Kanellakis
Memorial Workshop, San Diego, California, USA, June 8th, 2003},
pages = {55--59},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/778348.778357},
doi = {10.1145/778348.778357},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MollerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarKM03,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Deciding Bisimilarity between {BPA} and {BPP} Processes},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {157--171},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_10},
doi = {10.1007/978-3-540-45187-7\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Moller02,
author = {Faron Moller},
title = {Formal Methods in Computation},
journal = {Comput. J.},
volume = {45},
number = {1},
pages = {1},
year = {2002},
url = {https://doi.org/10.1093/comjnl/45.1.1},
doi = {10.1093/COMJNL/45.1.1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Moller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JancarKMS02,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller and
Zdenek Sawa},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Equivalence-Checking with One-Counter Automata: {A} Generic Method
for Proving Lower Bounds},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {172--186},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_13},
doi = {10.1007/3-540-45931-6\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JancarKMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HirshfeldM01,
author = {Yoram Hirshfeld and
Faron Moller},
title = {Pushdown automata, multiset automata, and Petri nets},
journal = {Theor. Comput. Sci.},
volume = {256},
number = {1-2},
pages = {3--21},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00099-2},
doi = {10.1016/S0304-3975(00)00099-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HirshfeldM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BurkartCMS01,
author = {Olaf Burkart and
Didier Caucal and
Faron Moller and
Bernhard Steffen},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Verification on Infinite Structures},
booktitle = {Handbook of Process Algebra},
pages = {545--623},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50027-8},
doi = {10.1016/B978-044482830-9/50027-8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BurkartCMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HirshfeldM00,
author = {Yoram Hirshfeld and
Faron Moller},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {On the star height of unary regular behaviours},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {497--510},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HirshfeldM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JancarKM00,
author = {Petr Jancar and
Anton{\'{\i}}n Kucera and
Faron Moller},
editor = {Horst Reichel and
Sophie Tison},
title = {Simulation and Bisimulation over One-Counter Processes},
booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
Science, Lille, France, February 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1770},
pages = {334--345},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46541-3\_28},
doi = {10.1007/3-540-46541-3\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/JancarKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JanarEM99,
author = {Petr Jancar and
Javier Esparza and
Faron Moller},
title = {Petri Nets and Regular Processes},
journal = {J. Comput. Syst. Sci.},
volume = {59},
number = {3},
pages = {476--503},
year = {1999},
url = {https://doi.org/10.1006/jcss.1999.1643},
doi = {10.1006/JCSS.1999.1643},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/JanarEM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarM99,
author = {Petr Jancar and
Faron Moller},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Techniques for Decidability and Undecidability of Bisimilarity},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {30--45},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_5},
doi = {10.1007/3-540-48320-9\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MollerR99,
author = {Faron Moller and
Alexander Moshe Rabinovich},
title = {On the Expressive Power of {CTL}},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {360--368},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782631},
doi = {10.1109/LICS.1999.782631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MollerR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JancarMS99,
author = {Petr Jancar and
Faron Moller and
Zdenek Sawa},
editor = {Jan Pavelka and
Gerard Tel and
Miroslav Bartosek},
title = {Simulation Problems for One-Counter Machines},
booktitle = {{SOFSEM} '99, Theory and Practice of Informatics, 26th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 27 - December 4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1725},
pages = {404--413},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-47849-3\_28},
doi = {10.1007/3-540-47849-3\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JancarMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moller98,
author = {Faron Moller},
editor = {Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
title = {A Taxonomy of Infinite State Processes},
booktitle = {Proceedings of the {MFCS} '98 Workshop on Concurrency, Brno, Czech
Republic, August 27-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {18},
pages = {3--22},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80246-4},
doi = {10.1016/S1571-0661(05)80246-4},
timestamp = {Fri, 11 Nov 2022 14:46:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Moller98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moller97,
author = {Faron Moller},
editor = {Faron Moller},
title = {Preface},
booktitle = {Second International Workshop on Verification of Infinite State Systems,
Infinity 1997, Bologna, Italy, July 11-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {9},
pages = {1},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80421-9},
doi = {10.1016/S1571-0661(05)80421-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Moller97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infinity/1997,
editor = {Faron Moller},
title = {Second International Workshop on Verification of Infinite State Systems,
Infinity 1997, Bologna, Italy, July 11-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {9},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/9/suppl/C},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infinity/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Moller96,
author = {Faron Moller},
title = {Logics for Concurrency: Structure Versus Automata},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {50},
year = {1996},
url = {https://doi.org/10.1145/242224.242287},
doi = {10.1145/242224.242287},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/Moller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HirshfeldJM96,
author = {Yoram Hirshfeld and
Mark Jerrum and
Faron Moller},
title = {A Polynomial-Time Algorithm for Deciding Bisimulation Equivalence
of Normed Basic Parallel Processes},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {3},
pages = {251--259},
year = {1996},
url = {https://doi.org/10.1017/S0960129500000992},
doi = {10.1017/S0960129500000992},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HirshfeldJM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HirshfeldJM96,
author = {Yoram Hirshfeld and
Mark Jerrum and
Faron Moller},
title = {A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free
Processes},
journal = {Theor. Comput. Sci.},
volume = {158},
number = {1{\&}2},
pages = {143--159},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00064-X},
doi = {10.1016/0304-3975(95)00064-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HirshfeldJM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Moller96,
author = {Faron Moller},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Infinite Results},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {195--216},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_56},
doi = {10.1007/3-540-61604-7\_56},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Moller96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/banff/1995,
editor = {Faron Moller and
Graham M. Birtwistle},
title = {Logics for Concurrency - Structure versus Automata (8th Banff Higher
Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings)},
series = {Lecture Notes in Computer Science},
volume = {1043},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60915-6},
doi = {10.1007/3-540-60915-6},
isbn = {3-540-60915-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/banff/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MollerS95,
author = {Faron Moller and
Scott A. Smolka},
title = {On the Computational Complexity of Bisimulation},
journal = {{ACM} Comput. Surv.},
volume = {27},
number = {2},
pages = {287--289},
year = {1995},
url = {https://doi.org/10.1145/210376.210406},
doi = {10.1145/210376.210406},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/MollerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/banff/HirshfeldM95,
author = {Yoram Hirshfeld and
Faron Moller},
editor = {Faron Moller and
Graham M. Birtwistle},
title = {Decidability Results in Automata and Process Theory},
booktitle = {Logics for Concurrency - Structure versus Automata (8th Banff Higher
Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings)},
series = {Lecture Notes in Computer Science},
volume = {1043},
pages = {102--148},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60915-6\_4},
doi = {10.1007/3-540-60915-6\_4},
timestamp = {Sun, 02 Jun 2019 21:10:52 +0200},
biburl = {https://dblp.org/rec/conf/banff/HirshfeldM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JancarM95,
author = {Petr Jancar and
Faron Moller},
editor = {Insup Lee and
Scott A. Smolka},
title = {Checking Regular Properties of Petri Nets},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {348--362},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_26},
doi = {10.1007/3-540-60218-6\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JancarM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ChristensenHM94,
author = {S{\o}ren Christensen and
Yoram Hirshfeld and
Faron Moller},
title = {Decidable Subsets of {CCS}},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {233--242},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.233},
doi = {10.1093/COMJNL/37.4.233},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ChristensenHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VictorM94,
author = {Bj{\"{o}}rn Victor and
Faron Moller},
editor = {David L. Dill},
title = {The Mobility Workbench - {A} Tool for the pi-Calculus},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {428--440},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_73},
doi = {10.1007/3-540-58179-0\_73},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VictorM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HirshfeldM94,
author = {Yoram Hirshfeld and
Faron Moller},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free
Processes},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {48--63},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_5},
doi = {10.1007/978-3-540-48654-1\_5},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/HirshfeldM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HirshfeldJM94,
author = {Yoram Hirshfeld and
Mark Jerrum and
Faron Moller},
title = {A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free
Processes},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {623--631},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365729},
doi = {10.1109/SFCS.1994.365729},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HirshfeldJM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MilnerM93,
author = {Robin Milner and
Faron Moller},
title = {Unique Decomposition of Processes},
journal = {Theor. Comput. Sci.},
volume = {107},
number = {2},
pages = {357--363},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90176-T},
doi = {10.1016/0304-3975(93)90176-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MilnerM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChristensenHM93,
author = {S{\o}ren Christensen and
Yoram Hirshfeld and
Faron Moller},
editor = {Eike Best},
title = {Bisimulation Equivalence is Decidable for Basic Parallel Processes},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {143--157},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_11},
doi = {10.1007/3-540-57208-2\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChristensenHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ChristensenHM93,
author = {S{\o}ren Christensen and
Yoram Hirshfeld and
Faron Moller},
title = {Decomposability, Decidability and Axiomatisability for Bisimulation
Equivalence on Basic Parallel Processes},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {386--396},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287569},
doi = {10.1109/LICS.1993.287569},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ChristensenHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteM92,
author = {Jan Friso Groote and
Faron Moller},
editor = {Rance Cleaveland},
title = {Verification of Parallel Systems via Decomposition},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {62--76},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084783},
doi = {10.1007/BFB0084783},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrooteM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MollerT92,
author = {Faron Moller and
Chris M. N. Tofts},
title = {An overview of {TCCS}},
booktitle = {Fourth Euromicro workshop on Real-Time Systems, {RTS} 1992, Athens,
Greece, June 3-5, 1992, Proceedings},
pages = {98--103},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/EMWRT.1992.637478},
doi = {10.1109/EMWRT.1992.637478},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ecrts/MollerT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MollerT92,
author = {Faron Moller and
Chris M. N. Tofts},
editor = {Werner Kuich},
title = {Behavioural Abstraction in {TCCS}},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {559--570},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_104},
doi = {10.1007/3-540-55719-9\_104},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MollerT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MollerT91,
author = {Faron Moller and
Chris M. N. Tofts},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Relating Processes With Respect to Speed},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {424--438},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_104},
doi = {10.1007/3-540-54430-5\_104},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/MollerT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/MilnerM90,
author = {Robin Milner and
Faron Moller},
title = {Unique decomposition of processes},
journal = {Bull. {EATCS}},
volume = {41},
pages = {226--233},
year = {1990},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/MilnerM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MollerT90,
author = {Faron Moller and
Chris M. N. Tofts},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {A Temporal Calculus of Communicating Systems},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {401--415},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039073},
doi = {10.1007/BFB0039073},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MollerT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Moller90,
author = {Faron Moller},
editor = {Mike Paterson},
title = {The Importance of the Left Merge Operator in Process Algebras},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {752--764},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032072},
doi = {10.1007/BFB0032072},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Moller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Moller90,
author = {Faron Moller},
title = {The Nonexistence of Finite Axiomatisations for {CCS} Congruences},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {142--153},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113741},
doi = {10.1109/LICS.1990.113741},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Moller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-01-14 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
