Subject Reduction and Progress for Synchronous MPST

Ekici, Burak; Kamegai, Tadayoshi; Yoshida, Nobuko

doi:10.4230/artifacts.24677

Artifact

Subject Reduction and Progress for Synchronous MPST Software

Authors Burak Ekici , Tadayoshi Kamegai , Nobuko Yoshida

Part of: Collection: Supplementary Materials
License: GNU General Public License v1.0 or later
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.24677
URN: urn:nbn:de:0030-drops-246770

Author Details

Burak Ekici

Department of Computer Science, University of Oxford, UK

Tadayoshi Kamegai

Department of Computer Science, University of Oxford, UK

Nobuko Yoshida

Department of Computer Science, University of Oxford, UK

Content

Software (Source Code): https://github.com/Apiros3/smpst-sr-smer
archived version

Version/Status

Content created at: 2024-10-10

Cite As Get BibTex

Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida. Subject Reduction and Progress for Synchronous MPST (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24677

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail