Maria Antónia Bacelar da Costa Lopes
AuthID: R-000-AK2
11
TÃTULO: Patterns for coordination
AUTORES: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A; Wermelinger, M;
PUBLICAÇÃO: 2000, FONTE: 4th International Conference on Coordination Languages and Models, COORDINATION 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1906
AUTORES: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A; Wermelinger, M;
PUBLICAÇÃO: 2000, FONTE: 4th International Conference on Coordination Languages and Models, COORDINATION 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1906
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID12
TÃTULO: Preservation and reflection in specifications
AUTORES: Lopes A.; Fiadeiro J.L.;
PUBLICAÇÃO: 1997, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTORES: Lopes A.; Fiadeiro J.L.;
PUBLICAÇÃO: 1997, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID13
TÃTULO: Specification of required non-determinism
AUTORES: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A.;
PUBLICAÇÃO: 1997, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
AUTORES: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A.;
PUBLICAÇÃO: 1997, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
