학술논문

A Formal Theory of Choreographic Programming
Document Type
Article
Source
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, June 2023, 67(2))
Subject
Language
English
ISSN
15730670
01687433