@article(angluin_learning_1987,
 author       = {Dana Angluin},
 year         = {1987},
 title        = {Learning Regular Sets from Queries and Counterexamples},
 journal      = {Inf. Comput.},
 volume       = {75},
 number       = {2},
 pages        = {87--106},
 doi          = {10.1016/0890-5401(87)90052-6},
)
@article(Baeten2013Reactive,
 author       = {Jos C.~M. Baeten and Bas Luttik and Paul van Tilburg},
 year         = {2013},
 title        = {Reactive Turing machines},
 journal      = {Inf. Comput.},
 volume       = {231},
 pages        = {143--166},
 doi          = {10.1016/j.ic.2013.08.010},
)
@article(brinksma1995,
 author       = {Hendrik Brinksma and Romanus Langerak},
 year         = {1995},
 title        = {Functionality Decomposition by Compositional Correctness Preserving Transformation},
 journal      = {South African Computer Journal},
 volume       = {13},
 pages        = {2--13},
)
@inproceedings(duhaiby2018Pitfalls,
 author       = {Omar al~Duhaiby and Arjan~J. Mooij and Hans van Wezep and Jan~Friso Groote},
 year         = {2018},
 title        = {Pitfalls in Applying Model Learning to Industrial Legacy Software},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
 pages        = {121--138},
 doi          = {10.1007/978-3-030-03427-6\_13},
)
@article(vanGlabbek2008BranchingExplicitDivergence,
 author       = {Rob~J. van Glabbeek and Bas Luttik and Nikola Trcka},
 year         = {2009},
 title        = {Branching Bisimilarity with Explicit Divergence},
 journal      = {Fundam. Inform.},
 volume       = {93},
 number       = {4},
 pages        = {371--392},
 doi          = {10.3233/FI-2009-109},
)
@article(vanGlabbeek1996Branching,
 author       = {Rob~J. van Glabbeek and W.~P. Weijland},
 year         = {1996},
 title        = {Branching Time and Abstraction in Bisimulation Semantics},
 journal      = {J. {ACM}},
 volume       = {43},
 number       = {3},
 pages        = {555--600},
 doi          = {10.1145/233551.233556},
)
@book(groote2004book,
 author       = {Jan~Friso Groote and Mohammad~Reza Mousavi},
 year         = {2014},
 title        = {Modeling and Analysis of Communicating Systems},
 publisher    = {{MIT} Press},
 doi          = {10.7551/mitpress/9946.001.0001},
)
@article(groote1996confluence,
 author       = {Jan~Friso Groote and M.~P.~A. Sellink},
 year         = {1996},
 title        = {Confluence for Process Verification},
 journal      = {Theor. Comput. Sci.},
 volume       = {170},
 number       = {1-2},
 pages        = {47--81},
 doi          = {10.1016/S0304-3975(96)80702-X},
)
@inproceedings(hultstrom1995structural,
 author       = {Maria Hultstr{\"{o}}m},
 year         = {1994},
 title        = {Structural decomposition},
 booktitle    = {Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth {IFIP} {WG6.1} International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
 pages        = {201--216},
)
@article(krohn1965algebraic,
 author       = {Kenneth Krohn and Richard Mateosian and John Rhodes},
 year         = {1967},
 title        = {Methods of the Algebraic Theory of Machines. {I:} Decomposition Theorem for Generalized Machines; Properties Preserved under Series and Parallel Compositions of Machines},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {1},
 number       = {1},
 pages        = {55--85},
 doi          = {10.1016/S0022-0000(67)80007-2},
)
@article(luttik2015Unique,
 author       = {Bas Luttik},
 year         = {2016},
 title        = {Unique parallel decomposition in branching and weak bisimulation semantics},
 journal      = {Theor. Comput. Sci.},
 volume       = {612},
 pages        = {29--44},
 doi          = {10.1016/j.tcs.2015.10.013},
)
@article(Milner1993Unique,
 author       = {Robin Milner and Faron Moller},
 year         = {1993},
 title        = {Unique Decomposition of Processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {107},
 number       = {2},
 pages        = {357--363},
 doi          = {10.1016/0304-3975(93)90176-T},
)