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