1
TÍTULO: Completeness and Incompleteness of Synchronous Kleene Algebra
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, VOLUME: 11825
INDEXADO EM: DBLP
2
TÍTULO: Completeness and Incompleteness of Synchronous Kleene Algebra PDF
AUTORES: Jana Wagemaker; Marcello M Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1905.08554
INDEXADO EM: DBLP arXiv
3
TÍTULO: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
AUTORES: Frank S de Boer; Marcello M Bonsangue; Jan Rutten;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination, VOLUME: 10865
INDEXADO EM: DBLP
4
TÍTULO: Enhanced coalgebraic bisimulation
AUTORES: Jurriaan Rot; Filippo Bonchi; Marcello M Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
5
TÍTULO: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
AUTORES: Erika Ábrahám; Marcello M Bonsangue; Einar Broch Johnsen;
PUBLICAÇÃO: 2016, FONTE: Theory and Practice of Formal Methods, VOLUME: 9660
INDEXADO EM: DBLP
6
TÍTULO: A coalgebraic view on decorated traces
AUTORES: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 7
INDEXADO EM: WOS DBLP
7
TÍTULO: Theory and Practice of Formal Methods
AUTORES: Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
8
TÍTULO: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm  Full Text
AUTORES: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 1
INDEXADO EM: WOS DBLP CrossRef: 22
10
TÍTULO: Coalgebraic Methods in Computer Science
AUTORES: Marcello M Bonsangue;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
Página 1 de 4. Total de resultados: 36.