Thirty Years of SIROCCO A Data and Graph Mining Comparative Analysis of Its Temporal Evolution

[PDF] arxiv.org

The Way We Were: Structural Operational Semantics Research in Perspective

L Aceto, P Crescenzi, A Ingólfsdóttir… - arXiv preprint arXiv …, 2023 - arxiv.org
This position paper on the (meta-) theory of Structural Operational Semantic (SOS) is
motivated by the following two questions:(1) Is the (meta-) theory of SOS dying out as a …
相关文章 所有 8 个版本