References

  1. 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.
  2. 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.
  3. Hendrik Brinksma & Romanus Langerak (1995): Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal 13, pp. 2–13.
  4. 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.
  5. 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.
  6. 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.
  7. Jan Friso Groote & Mohammad Reza Mousavi (2014): Modeling and Analysis of Communicating Systems. MIT Press, doi:10.7551/mitpress/9946.001.0001.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org