Protocol choice and iteration for the free cornering

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 137; p. 100942
Main Authors Nester, Chad, Voorneveld, Niels
Format Journal Article
LanguageEnglish
Published 01.02.2024
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2023.100942