( en | de | ru )

 

Disambiguation of "Martins, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Compiling the π-calculus into a Multithreaded Typed Assembly Language

, , and . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)

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.

Michael Martins

Ludwig Martins

Olaf Martins

Christine Martins

Michael Martins

 

Other publications of authors with the same name

A Type Discipline for Message Passing Parallel Programs., , , and . ACM Trans. Program. Lang. Syst., 44 (4): 26:1-26:55 (December 2022)Automatic Decomposition of IoT Aware Business Processes - a Pattern Approach., , , and . CENTERIS/ProjMAN/HCist, volume 164 of Procedia Computer Science, page 313-320. Elsevier, (2019)Types for X10 Clocks, , and . PLACES, volume 69 of EPTCS, page 111-129. (2010)Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software., , , and . DSN-W, page 263-266. IEEE, (2023)Teaching Web Programming Using the MEAN Stack., , and . ICL (2), volume 1135 of Advances in Intelligent Systems and Computing, page 256-262. Springer, (2019)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)The Impact of Linearity Information on the Performance of TyCO., , and . TIP@MPC, volume 75 of Electronic Notes in Theoretical Computer Science, page 41-60. Elsevier, (2002)Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems., , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 93-114. Springer, (2023)Disciplining Orchestration and Conversation in Service-Oriented Computing., , , and . SEFM, page 305-314. IEEE Computer Society, (2007)