Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 185



181
TITLE: Components as coalgebras
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2001
INDEXED IN: DBLP
IN MY: DBLP
182
TITLE: Process calculi à la bird-meertens
AUTHORS: Barbosa, LS ;
PUBLISHED: 2001, SOURCE: CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001) in Electronic Notes in Theoretical Computer Science, VOLUME: 44, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
183
TITLE: Components as processes: An exercise in coalgebraic modeling
AUTHORS: Barbosa, LS ;
PUBLISHED: 2000, SOURCE: IFIP TC6/WG6 1 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, VOLUME: 49
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
184
TITLE: Prototyping Processes
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
INDEXED IN: DBLP
IN MY: ORCID | DBLP
185
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 19 of 19. Total results: 185.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service