Idea: add P formal model of the sessions runtime - #289

Idea: add P formal model of the sessions runtime#289

crowecawcaw wants to merge 1 commit into

OpenJobDescription:mainOpenJobDescription/openjd-rs:mainfrom

crowecawcaw:pmodel/sessions-modelcrowecawcaw/openjd-rs:pmodel/sessions-modelCopy head branch name to clipboard