In search of lost time: Axiomatising parallel composition in process algebras
Aceto, Luca ; Anastasiadi, Elli ; Castiglioni, Valentina ; Ingolfsdottir, Anna ; Luttik, Bas
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
IEEE
Sem texto completo
- Buscando por
- emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Mostrar o que foi encontrado até o momento