Maria Antónia Bacelar da Costa Lopes
AuthID: R-000-AK2
11
TITLE: Patterns for coordination
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A; Wermelinger, M;
PUBLISHED: 2000, SOURCE: 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
AUTHORS: Andrade, LF; Fiadeiro, JL; Gouveia, J; Lopes, A; Wermelinger, M;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID12
TITLE: Preservation and reflection in specifications
AUTHORS: Lopes A.; Fiadeiro J.L.;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
AUTHORS: Lopes A.; Fiadeiro J.L.;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID13
TITLE: Specification of required non-determinism
AUTHORS: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A.;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
AUTHORS: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A.;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
