Author of the publication

An Approach to Structured Parallel Programming Based on a Composition.

, and . CONIELECOMP, page 42. IEEE Computer Society, (2006)

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.

 

Other publications of authors with the same name

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T., , , and . MSVVEIS, page 74-83. INSTICC PRESS, (2007)An Approach to Structured Parallel Programming Based on a Composition., and . CONIELECOMP, page 42. IEEE Computer Society, (2006)A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs)., and . CONIELECOMP, page 242-247. IEEE Computer Society, (2004)Partitioning Strategy Divide and Conquer as CPANs. A Methodological Proposal., , and . Res. Comput. Sci., (2017)A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes., , and . ICEIS, volume 73 of Lecture Notes in Business Information Processing, page 388-403. Springer, (2010)Automatic verification of business process integrity., , and . Int. J. Simul. Process. Model., 4 (3/4): 167-182 (2008)A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models., , , and . Sci. Comput. Program., 65 (1): 41-56 (2007)Methodology Of Parallel Programming Using Compositions Of Parallel Objects Or CPANS For The Solution Of NP-Complete Problems., and . ECMS, page 63-69. European Council for Modeling and Simulation, (2009)Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP)., and . CONIELECOMP, page 262-267. IEEE Computer Society, (2005)Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications., , and . ICEIS (3), page 290-297. (2006)