Marcello Bonsangue
AuthID: R-006-WSY
21
TITLE: A model of context-dependent component connectors Full Text
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Comput. Program., VOLUME: 77, ISSUE: 6
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2012, SOURCE: Sci. Comput. Program., VOLUME: 77, ISSUE: 6
22
TITLE: Formal Methods for Components and Objects
AUTHORS: Bernhard K Aichernig; Frank S de Boer; Marcello M Bonsangue;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
AUTHORS: Bernhard K Aichernig; Frank S de Boer; Marcello M Bonsangue;
PUBLISHED: 2012, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef23
TITLE: Sound and complete axiomatizations of coalgebraic language equivalence PDF
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
AUTHORS: Marcello M. Bonsangue; Stefan Milius; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1104.2803
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv24
TITLE: Quantitative Kleene coalgebras Full Text
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2011, SOURCE: Inf. Comput., VOLUME: 209, ISSUE: 5
25
TITLE: Generalizing the powerset construction, coalgebraically
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
AUTHORS: Alexandra Silva ; Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten;
PUBLISHED: 2010, SOURCE: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, VOLUME: 8
INDEXED IN: DBLP
DBLP26
TITLE: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
27
TITLE: Non-Deterministic Kleene Coalgebras PDF
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
AUTHORS: Alexandra Silva ; Marcello M. Bonsangue; Jan J. M. M. Rutten;
PUBLISHED: 2010, SOURCE: Logical Methods in Computer Science, VOLUME: 6, ISSUE: 3
INDEXED IN: DBLP arXiv
DBLP arXiv28
TITLE: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLISHED: 2009, SOURCE: FMCO, VOLUME: 5751
AUTHORS: Frank de d Boer; Marcello M Bonsangue; Eric Madelain;
PUBLISHED: 2009, SOURCE: FMCO, VOLUME: 5751
INDEXED IN: DBLP
DBLP29
TITLE: Deriving Syntax and Axioms for Quantitative Regular Behaviours
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, VOLUME: 5710
30
TITLE: Automata for Context-Dependent Connectors
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, VOLUME: 5521
AUTHORS: Marcello M Bonsangue; Dave Clarke; Alexandra Silva ;
PUBLISHED: 2009, SOURCE: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, VOLUME: 5521
