PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Fromentin, Eddy"

Author of the publication

copydeleteadd this publication to your clipboard
A unified framework for the specification and run-time detection of dynamic properties in distributed computations.

, , and . Journal of Systems and Software, 33 (3): 287-298 (1996)

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.

No persons found for author name Fromentin, Eddy
add a person with the name Fromentin, Eddy
 

Other publications of authors with the same name

SATIP6 : Next Generation Satellite System Demonstrator., , , , and . Broadband Satellite Comunication Systems, volume 169 of IFIP, page 53-62. Springer, (2004)Validation of a QoS architecture for DVB-RCS satellite networks via the SATIP6 demonstration platform., , , , , , , and . Computer Networks, 49 (6): 797-815 (2005)Local States in Distributed Computations: A Few Relations and Formulas., and . Operating Systems Review, 28 (2): 65-72 (1994)Recognition of Patterns on Control Flows for Debugging Distributed Executions., , , and . AADEBUG, page 221-232. IRISA-CNRS, (1995)A unified framework for the specification and run-time detection of dynamic properties in distributed computations., , and . Journal of Systems and Software, 33 (3): 287-298 (1996)On-The-Fly Analysis of Distributed Computations., , , and . Inf. Process. Lett., 54 (5): 267-274 (1995)Replaying Distributed Executions., , and . AADEBUG, page 1-18. IRISA-CNRS, (1995)Debugging Distributed Executions by Using Language Recognition., , and . ICPP (2), page 55-62. CRC Press, (1995)Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way., and . SPDP, page 242-248. IEEE Computer Society, (1994)Expressing and detecting control flow properties of distributed computations., , , and . SPDP, page 432-438. IEEE, (1995)