( en | de | ru )

 

Disambiguation of "Lima, Ricardo Massa Ferreira"

Author of the publication

copydeleteadd this publication to your clipboard
Translating Haskell# Programs into Petri Nets.

, , and . VECPAR, volume 2565 of Lecture Notes in Computer Science, page 635-649. Springer, (2002)

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.

Ricardo Lima Chaves

Fernando Gomes Ferreira Lima

Fernando Gomes Ferreira Lima

Marcelo de Lima Leal Ferreira

Claudia Massa

 

Other publications of authors with the same name

Petri nets tools integration through Eclipse., , and . eTX, page 90-94. ACM, (2005)An annotation-based approach for JCSP concurrent programming: a quantitative study., , , , , and . MISS@AOSD, page 7-11. ACM, (2011)A Formal Model for Performance and Energy Evaluation of Embedded Systems., , , , , , and . EURASIP J. Embed. Syst., (2011)A modeling architecture for the orchestration of service components in factory automation., , , , and . ETFA, page 1-8. IEEE, (2015)Using process mining in software development process management: A case study., , , and . SMC, page 1181-1186. IEEE, (2011)Modular aspect-oriented design rule enforcement with XPIDRs., , , , and . FOAL, page 13-18. ACM, (2013)A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems., , , , and . DIPES, volume 150 of IFIP, page 157-166. Kluwer/Springer, (2004)Implementing Java modeling language contracts with AspectJ., , , , and . SAC, page 228-233. ACM, (2008)Coordinating functional processes with Haskell#., , and . SAC, page 393-400. ACM, (2002)An Aspect-based Approach for Concurrent Programming using CSP Features., , , , , , , and . ICSOFT (2), page 226-231. SciTePress, (2010)