Deciding the Bisimilarity of Context-Free Session Types

AuthID
 P-00S-22Q
3
Author(s)
Almeida, B
·
Tipo de Documento
Proceedings Paper
Year published
2020
Publicado
in TACAS (2), ISSN: 03029743
Volume: 12079 LNCS, Páginas: 39-56 (17)
Indexing
Scopus®
Dblp®/pt/publications/view/821335
Crossref®7
Google Scholar®
Publication Identifiers
DBLP: conf/tacas/AlmeidaMV20
SCOPUS: 2-s2.0-85083968997
Source Identifiers
ISSN: 03029743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service