PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Martins, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
The stream-based service-centred calculus: a foundation for service-oriented programming.

, , , , and . Formal Asp. Comput., 26 (5): 865-918 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francisco Costa Garcia University of Stuttgart

Dr. Preston Francisco Rodrigues University of Stuttgart

Vanessa Costalonga Martins University of Stuttgart

 

Other publications of authors with the same name

Coordinating Phased Activities while Maintaining Progress., , and . COORDINATION, volume 7890 of Lecture Notes in Computer Science, page 31-44. Springer, (2013)Protocol-based verification of message-passing parallel programs., , , , , , and . OOPSLA, page 280-298. ACM, (2015)Disciplining Orchestration and Conversation in Service-Oriented Computing., , , and . SEFM, page 305-314. IEEE Computer Society, (2007)A Formal Model for Programming Wireless Sensor Networks, , , and . CoRR, (2007)Types for X10 Clocks, , and . PLACES, volume 69 of EPTCS, page 111-129. (2010)The Impact of Linearity Information on the Performance of TyCO., , and . Electron. Notes Theor. Comput. Sci., (2002)Computing with Idiotypic Networks., and . Intelligent Information Systems, volume 31 of Advances in Soft Computing, page 673-684. Springer, (2005)A Calculus for Sensor Networks, , , and . CoRR, (2006)A model for terrain coverage inspired by ant's alarm pheromones., , , , and . SAC, page 728-732. ACM, (2007)Using genetic algorithms to generate test plans for functionality testing., , , , and . ACM Southeast Regional Conference, page 140-145. ACM, (2006)