Branching Pomsets for Choreographies

AuthID
P-00X-52T
4
Author(s)
Edixhoven, L
·
Jongmans, SS
·
Proenca, J
·
4
Editor(es)
Aubert,C;Giusto,C;Safina,L;Scalas,A
Tipo de Documento
Proceedings Paper
Year published
2022
Publicado
in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180
Volume: 365, Número: 365, Páginas: 37-52 (16)
Conference
15Th Interaction and Concurrency Experience, Date: JUL 17, 2022, Location: Lucca, ITALY
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85137142808
Wos: WOS:001047419300006
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.