https://github.com/ekiciburak/sessionTreeST/tree/localtype

Ekici, Burak; Yoshida, Nobuko

doi:10.4230/artifacts.22491

Artifact

https://github.com/ekiciburak/sessionTreeST/tree/localtype Software

Authors Burak Ekici, Nobuko Yoshida

Part of: Collection: Supplementary Materials
License: GNU General Public License v1.0 or later
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22491
URN: urn:nbn:de:0030-drops-224917

Author Details

Burak Ekici

Nobuko Yoshida

Content

Software (Source Code): https://github.com/ekiciburak/sessionTreeST/tree/itp2024
archived version

Version/Status

Content created at: 2023-11-17

Cite As Get BibTex

Burak Ekici, Nobuko Yoshida. https://github.com/ekiciburak/sessionTreeST/tree/localtype (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22491

Description

subtyping of asynchronous session trees

Subject Classification

Programming Languages

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