IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

Sebastian Stock,Fabian Vu,Atif Mashkoor,Michael Leuschel,Alexander Egyed
DOI: https://doi.org/10.48550/arXiv.2205.06138
2022-05-12
Abstract:This report discusses the foundations of the VO approach. Then, it explores multiple directions and argues about structure and applications.
Logic in Computer Science,Formal Languages and Automata Theory
What problem does this paper attempt to address?