Dave Clarke
AuthID: R-00G-V9G
11
TÃTULO: Feature Petri Nets PDF
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
AUTORES: Radu Muschevici; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
INDEXADO EM: 
DBLP
DBLP12
TÃTULO: Deconstructing Reo
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 2
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 2
13
TÃTULO: Coordination via Interaction Constraints I: Local Logic Full Text
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2009, FONTE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2009, FONTE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12
