Charpentier, Michel - Department of Computer Science, University of New Hampshire

Advanced Search

Charpentier, Michel - Department of Computer Science, University of New Hampshire

Reasoning about Composition: A Predicate Transformer Approach
MODELLING AND VERIFYING MIGRATION: A CASE STUDY ? M. CHARPENTIER, M. FILALI, P. MAURAN, G. PADIOU, P. QU
N o d'ordre : 1355 pr'esent'ee en vue de l'obtention du titre de
Tailoring UNITY to Distributed Program Design ?
Digital Object Identifier (DOI) 10.1007/s002360030130y Acta Informatica 40, 265--301 (2004)
An Approach to Composition Motivated by wp ? Michel Charpentier
Examples of Program Composition Illustrating the Use of Universal Properties ?
Science of Computer Programming 60 (2006) 221243 www.elsevier.com/locate/scico
Digital Object Identifier (DOI) 10.1007/s00236-003-0130-y Acta Informatica 40, 265301 (2004)
Cooperative Mobile Agents to Gather Global Information
Composing Invariants Michel Charpentier
Composing Invariants ? Michel Charpentier
Reasoning about Composition using Property Transformers and their Conjugates ?
Assistance au Raffinement de Programmes R'epartis 63 R'ef'erences bibliographiques
A UNITYbased Algorithm Design Assistant \Lambda Michel Charpentier y Abdellah El Hadri z
Specification and Verification of the ATMR Protocol using UNITY \Lambda Michel Charpentier, Gerard Padiou
Abstracting Communication to Reason about Distributed Algorithms ?
Towards a Theory of Events K. Mani Chandy
Self-Similar Algorithms for Dynamic Distributed Systems K. Mani Chandy and Michel Charpentier
An Approach to Composition Motivated by wp Michel Charpentier
A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks
Cooperative Mobile Agents to Gather Global Information
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Reasoning about Composition: A Predicate Transformer Approach
Theorems about Composition ? Michel Charpentier 1 and K. Mani Chandy 2
A UNITY Mapping Operator for Distributed Programs ?