@techreport(aand:1965, author = {{}{St\r al Aanderaa}}, year = {1965}, title = {{On the Algebra of Regular Expressions}}, type = {Technical Report}, institution = {Applied Mathematics, Harvard University}, ) @article(anti:1996, author = {Valentin Antimirov}, year = {1996}, title = {{Partial Derivatives of Regular Expressions and Finite Automaton Constructions}}, journal = {Theoretical Computer Science}, volume = {155}, number = {2}, pages = {291--319}, doi = {10.1016/0304-3975(95)00182-4}, ) @inproceedings(baet:corr:2005, author = {J.C.M. Baeten and F. Corradini}, year = {2005}, title = {{Regular Expressions in Process Algebra}}, booktitle = {Proceedings of LICS 2005}, organization = {IEEE Computer Society 2005}, pages = {12--19}, doi = {10.1109/LICS.2005.43}, ) @article(baet:corr:grab:2007, author = {J.C.M. Baeten and F. Corradini and C.A. Grabmayer}, year = {2007}, title = {{A Characterization of Regular Expressions Under Bisimulation}}, journal = {Journal of the ACM}, volume = {54}, number = {2}, doi = {10.1145/1219092.1219094}, ) @article(berg:beth:pons:1994, author = {J.A. Bergstra and I. Bethke and A. Ponse}, year = {1994}, title = {Process algebra with iteration and nesting}, journal = {The Computer Journal}, volume = {37}, number = {4}, pages = {243–258}, doi = {10.1093/comjnl/37.4.243}, ) @phdthesis(blom:2001, author = {Stefan Blom}, year = {2001}, title = {{Term Graph Rewriting, Syntax and Sematics}}, school = {Vrije Universiteit Amsterdam}, ) @phdthesis(boss:1997, author = {D. J. B. Bosscher}, year = {1997}, title = {Grammars Modulo Bisimulation}, school = {Universiteit van Amsterdam}, ) @article(copi:elgot:wrig:1958, author = {Irving M. Copi and Calvin C. Elgot and Jesse B. Wright}, year = {1958}, title = {{Realization of Events by Logical Nets}}, journal = {Journal of the Association For Computing Machinery}, volume = {5}, number = {2}, doi = {10.1007/978-1-4613-8177-8_1}, note = {Also in Stephen L.\ Bloom (editor): `Calvin C.\ Elgot: Selected Papers', p.~1--16, Springer, 1982}, ) @article(corr:nico:labe:2002, author = {Flavio Corradini and De Nicola, Rocco and Anna Labella}, year = {2002}, title = {{An Equational Axiomatization of Bisimulation over Regular Expressions}}, journal = {Journal of Logic and Computation}, volume = {12}, number = {2}, pages = {301--320}, doi = {10.1093/logcom/12.2.301}, ) @techreport(fokk:1996:terminal:cycle:LGPS, author = {W.J. Fokkink}, year = {1996}, title = {{An Axiomatization for the Terminal Cycle}}, type = {Technical Report}, number = {167}, institution = {Utrecht University, Logic Group Preprint Series}, note = {Available at \url{http://bit.ly/2uJVEDF} (on \href{http://www.semanticscholar.org}{{\tt semanticscholar.com}})}, ) @inproceedings(fokk:1997:pl:ICALP, author = {W.J. Fokkink}, year = {1997}, title = {{Axiomatizations for the perpetual loop in process algebra}}, editor = {P. Degano and R. Gorrieri and Marchetti-Spaccamela, A.}, booktitle = {Proceedings of the 24th Colloquium on Automata, Languages and Programming - ICALP'97, Bologna}, series = {LNCS}, volume = {1256}, publisher = {Springer}, pages = {571--581}, doi = {10.1007/3-540-63165-8_212}, ) @inproceedings(grab:roch:2013:TERMGRAPH, author = {{}{Clemens Grabmayer \&\ Jan Rochel}}, year = {2013}, title = {{Term Graph Representations for Cyclic Lambda Terms}}, booktitle = {Proceedings of TERMGRAPH 2013}, series = {EPTCS}, volume = {110}, pages = {56--73}, doi = {10.4204/EPTCS.110}, note = {ArXiv:\href{http://arxiv.org/abs/1302.6338v1}{1302.6338v1}}, ) @inproceedings(grab:roch:2014:ICFP, author = {{}{Clemens Grabmayer \&\ Jan Rochel}}, year = {2014}, title = {{Maximal Sharing in the Lambda Calculus with Letrec}}, booktitle = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '14}, publisher = {ACM}, address = {New York, NY, USA}, pages = {67--80}, doi = {10.1145/2628136.2628148}, ) @inproceedings(grab:oost:2015, author = {{}{Clemens Grabmayer \&\ Vincent van Oostrom}}, year = {2015}, title = {{Nested Term Graphs}}, editor = {Aart Middeldorp and Femke van Raamsdonk}, booktitle = {{\rm Post-Proceedings of TERMGRAPH~2014}, {\rm Vienna, Austria, July 13, 2014}}, series = {EPTCS}, volume = {183}, publisher = {Open Publishing Association}, pages = {48--65}, doi = {10.4204/EPTCS.183.4}, note = {ArXived at:\href{http://arxiv.org/abs/1405.6380v2}{1405.6380v2}}, ) @techreport(klee:1951, author = {S.C. Kleene}, year = {1951}, title = {Representation of Events in Nerve Nets and Finite Automata}, type = {Technical Report}, institution = {U.S. Air Force Project RAND Research Memorandum RM-704}, doi = {http://dx.doi.org/10.1515/9781400882618-002}, ) @article(miln:1984, author = {Robin Milner}, year = {1984}, title = {{A Complete Inference System for a Class of Regular Behaviours}}, journal = {Journal of Computer and System Sciences}, volume = {28}, number = {3}, pages = {439 -- 466}, doi = {10.1016/0022-0000(84)90023-0}, ) @misc(roch:grab:2014:maxsharing:tool, author = {{}{Jan Rochel \&\ Clemens Grabmayer}}, year = {2014}, title = {{Maximal Sharing in the Lambda Calculus with letrec}}, note = {{Haskell Implementation of the method of \cite{grab:roch:2014:ICFP}}, available at \url{http://hackage.haskell.org/package/maxsharing/}}, ) @phdthesis(roch:2016, author = {{}{Jan Rochel}}, year = {2016}, title = {Unfolding Semantics of the Untyped $\lambda$-Calculus with $\text{\sf letrec}$}, school = {Utrecht University}, note = {Defended on June 20, 2016. Available at \url{http://rochel.info/thesis/thesis.pdf}}, ) @article(salo:1966, author = {Arto Salomaa}, year = {1966}, title = {{Two Complete Axiom Systems for the Algebra of Regular Events}}, journal = {Journal of the ACM}, volume = {13}, number = {1}, pages = {158--169}, doi = {10.1145/321312.321326}, )