.:. Consultation > Par auteur > Benveniste .:.

66 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7

Contracts for System Design Benveniste A., Caillaud B., Nickovic D., Passerone R., Raclet J.-B., Reinkemeier P., Sangiovanni-Vincentelli A., Damm W., Henzinger T., Larsen K. G. N° RR-8147 (2012) [hal-00757488 - version 3]

Application of Interface Theories to the Separate Compilation of Synchronous Programs Benveniste A., Benoît C., Jean-Baptiste R. N° RR-8030 (2012) [hal-00721049 - version 1]

Compatibility between DAXML Schemas Masson B., Hélouët L., Benveniste A. N° RR-7559 (2011) [inria-00573774 - version 1]

Distributed Active XML and Service Interfaces Hélouët L., Benveniste A. N° RR-7082 (2009) [inria-00429433 - version 1]

A Theory of QoS for Web Service Orchestrations Rosario S., Benveniste A., Jard C. N° RR-6951 (2009) [inria-00391592 - version 1]

Why are modalities good for Interface Theories? Raclet J.-B., Badouel E., Benveniste A., Caillaud B., Passerone R. N° RR-6899 (2009) [inria-00375098 - version 1]

Concurrency, sigma-algebras, and probabilistic fairness Abbes S., Benveniste A. N° RR-6724 (2008) [inria-00338784 - version 1]

Monotony in Service Orchestrations Bouillard A., Rosario S., Benveniste A., Haar S. N° RR-6528 (2008) [inria-00276627 - version 2]

Event Structure Semantics of Orc Rosario S., Kitchin D., Benveniste A., Cook W. J., Haar S., Jard C. N° RR-6221 (2007) [inria-00155016 - version 4]

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them Fabre E., Benveniste A. N° RR-5916 (2007) [inria-00077535 - version 2]