Verification of distributed hierarchical components

Barros, T., Henrio, L. and Madelaine, E. 2006. Verification of distributed hierarchical components. Electronic Notes in Theoretical Computer Science. 160, pp. 41-55. https://doi.org/10.1016/j.entcs.2006.05.014

TitleVerification of distributed hierarchical components
AuthorsBarros, T., Henrio, L. and Madelaine, E.
JournalElectronic Notes in Theoretical Computer Science
Journal citation160, pp. 41-55
ISSN1571-0661
Year08 Aug 2006
Digital Object Identifier (DOI)https://doi.org/10.1016/j.entcs.2006.05.014
Publication dates
Published08 Aug 2006

Related outputs

GCM: a grid extension to Fractal for autonomous distributed components
Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, Vladimir, Henrio, L. and PĂ©rez, C. 2009. GCM: a grid extension to Fractal for autonomous distributed components. Annals of Telecommunications. 64 (1-2), pp. 5-24. https://doi.org/10.1007/s12243-008-0068-8

Dynamic reconfiguration of GCM components
Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. Dynamic reconfiguration of GCM components. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0173

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0042

Lightweight grid platform: design methodology
Badia, R.M., Beckmann, O., Bubak, M., Caromel, D., Getov, Vladimir, Henrio, L., Isaiadis, S., Lazarov, V., Malawski, M., Panagiotidi, S., Parlavantzas, N. and Thiyagalingam, J. 2006. Lightweight grid platform: design methodology. CoreGRID. https://doi.org/CoreGRIDTechnicalReportNumberTR-0020

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455

A hybrid message logging-CIC protocol for constrained checkpointability
Baude, F., Caromel, D., Delbe, C. and Henrio, L. 2005. A hybrid message logging-CIC protocol for constrained checkpointability. in: Cunha, J.C. and Medeiros, P.D. (ed.) Euro-Par 2005 parallel processing: 11th international Euro-Par conference, Lisbon, Portugal, August 30 - September 2, 2005: proceedings Berlin, Germany Springer.

Behavioural models for hierarchical components
Barros, T., Henrio, L. and Madelaine, E. 2005. Behavioural models for hierarchical components. in: Model checking software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, proceedings Berlin, Germany Springer.

Permalink - https://westminsterresearch.westminster.ac.uk/item/921z3/verification-of-distributed-hierarchical-components


Share this

Usage statistics

59 total views
0 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.