Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 203



201
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 | CIÊNCIAVITAE
202
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 | CIÊNCIAVITAE
203
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Luis L Neves; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: AMAST, VOLUME: 1349
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
Page 21 of 21. Total results: 203.

footer slogan

Useful Links

Get Help

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