Datasets
- 5 results
Search results
-
Minimisation of Spatial Models using Branching Bisimilarity - Validation code and data
Ciancia, V. (Contributor), Groote, J. F. (Contributor), Latella, D. (Contributor), Massink, M. (Contributor) & de Vink, E. P. (Contributor), Zenodo, 3 Dec 2022
DOI: 10.5281/zenodo.7393236, https://zenodo.org/record/7393236
Dataset
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. (Creator), Keiren, J. J. A. (Creator), Groote, J. F. (Creator) & Jansen, D. N. (Creator), Figshare, 20 Feb 2020
DOI: 10.6084/m9.figshare.11876688
Dataset
-
Compositional Learning for Interleaving Parallel Automata (CL-Star)
Labbaf, F. (Creator), Groote, J. F. (Creator), Hojjat, H. (Contributor) & Mousavi, M. R. (Contributor), Zenodo, 23 Apr 2023
DOI: 10.5281/zenodo.7624699, https://zenodo.org/record/7624699
Dataset
-
mCRL2 release 201808.0
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, W. (Contributor), Wijs, A. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2 Sept 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
-
Infinite-data PBES Quotienting with the mCRL2 toolset
Neele, T. (Contributor), Willemse, T. A. C. (Contributor) & Groote, J. F. (Contributor), Zenodo, 4 Nov 2019
Dataset