Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Maurice Laveaux, Jan Martens
DOI: 10.5281/zenodo.17858372
Cited by: 0

Abstract

This is the artifact for the following paper: > Jan J.M. Martens and Maurice Laveaux. Faster Signature Refinement for Branching Bisimilarity Minimization. TACAS 2026. The ltsinfo-artifact-saved.zip zip contains a prebuilt docker image, from the same dockerfile included in the ltsinfo-artifact.zip. That one requires not internet access to use.

Fields of Study & Subjects

Natural Language Processing Techniques Parallel Computing and Optimization Techniques Mathematics Computing and Information Processing

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
25 January 2026
Language
EN