Skip to content

On Concurrent Program Algebra and Demonic Automata.

Emil Sekerinski

VenueCICTAC
Year2024
ProceedingsICTAC

Browse the full ICTAC paper archive.