141
TITLE: State-based components made generic
AUTHORS: Barbosa, LS ; Oliveira, JN ;
SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1, PUBLISHED: 2003
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
142
TITLE: Towards a calculus of state-based software components  Full Text
AUTHORS: Barbosa, LS ;
SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PUBLISHED: 2003
INDEXED IN: Scopus WOS DBLP
143
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PUBLISHED: 2002
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
144
TITLE: Process calculi à la bird-meertens
AUTHORS: Barbosa, LS ;
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, PUBLISHED: 2001
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
145
TITLE: Components as processes: An exercise in coalgebraic modeling
AUTHORS: Barbosa, LS ;
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, PUBLISHED: 2000
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
146
TITLE: Prototyping Processes
AUTHORS: Luís Soares Barbosa ;
SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, PUBLISHED: 1999
INDEXED IN: DBLP
IN MY: ORCID | DBLP
147
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
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, PUBLISHED: 1997
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 15 of 15. Total results: 147.