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