Branching Pomsets for Choreographies

AuthID
 P-00X-52T
4
Author(s)
Edixhoven, L
·
Jongmans, SS
·
Proenca, J
·
4
Editor(s)
Aubert,C;Giusto,C;Safina,L;Scalas,A
Document Type
Proceedings Paper
Year published
2022
Published
in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180
Volume: 365, Issue: 365, Pages: 37-52 (16)
Conference
15Th Interaction and Concurrency Experience, Date: JUL 17, 2022, Location: Lucca, ITALY
Indexing
Wos®
Scopus®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-85137142808
Wos: WOS:001047419300006
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service