MM
  • Bio
  • Papers
  • Talks
  • News
  • Experience
  • Projects
  • Teaching
  • Tutorials
  • Share
  • Français
  • Publications
    • Towards new models of information sharing
    • Towards a secure data sharing management approach for IoT environments
    • Translating Usage Control Policies to Semantic Rules: A Model using OrBAC and SWRL
    • IdSM-O: an IoT Data Sharing Management Ontology for Data Governance
    • Towards a data provenance model for private data sharing management in IoT
    • Enhanced IoT Data Sharing Management using semantic rule manager and Data Provenance
    • Data Controllability for Risk Management in Smart and Intelligent Systems
    • Information Security and Data Controllability for Collaborative Systems
    • IoT: data stream control
    • From Human Collaboration Control towards Semantic Service Contracts for Information Security
    • A Semantic Contract Model and Knowledge-driven Process for Supporting Controllability in Service-oriented Approaches
    • Service Contracts: Beyond Trust in Service Oriented Architectures
    • Towards Security Software Engineering the Smart Grid as a System of Systems
    • Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems
    • Challenges in Security Engineering of Systems-of-Systems
    • The Systems-of-Systems Challenge in Security Engineering
    • Towards Modelling and Analysing Non-Functional Properties of Systems of Systems
    • Gestion des risques dans les architectures orientées services
    • Legal Issues about Metadata: Data Privacy vs Information Security
    • Information Security Risk Management in a World of Services
    • Information Security in Business Intelligence based on Cloud: A Survey of Key Issues and the Premises of a Proposal
    • Self-Protecting Documents for Cloud Storage Security
    • A Secure Autonomous Document Architecture for Enterprise Digital Right Management
    • A Multi-View Approach for Embedded Information System Security
    • Contrôle d'accès et vues multiples
    • An Access Control Model for Tree Data Structures
    • A Negotiation Model for CSCW
    • AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organizations
    • A transactional approach for cross-organizational cooperation
    • Cooperation models in co-design
    • DisCOO, a really distributed system for cooperation
    • Une architecture pour intégrer des composants de contrôle de la coopération dans un atelier distribué
    • A criterion to enforce correctness of indirectly cooperating applications
    • Cooperation models in co-design
    • Cooperation services for widely distributed applications
    • Supporting cooperation in project-enterprises
    • COO-serializability: A Correctness Criterion for Cooperative Executions
  • Projects
  • Blog
    • RESILINK general meeting in Paris, France
    • Paper at KES 2023 conference, Athens, Greece
    • RESILINK general meeting in Rabat, Morocco
    • RESILINK promotional video is released !
    • Physical kick-off meeting of RESILINK in Alexandria, Egypt
    • RESILINK web site is up and running !
    • Ateliers des Convergences du Droit et du Numérique 2020
    • PhD position (CD40): "informational self-determination in smart buildings"
    • Bienvenue à NAOS
    • Coronavirus → report des CDN 2020
    • Convergences du Droit et du Numérique 2020
    • Convergences du Droit et du Numérique 2020
    • Pôle Aquinetic - nouveau CA
    • Convergences du Droit et du Numérique 2018
    • Portrait de votre serviteur dans le magazine XLandes
    • Convergences du Droit et du Numérique 2018
    • Convergences du Droit et du Numérique 2017
  • Experience
  • Projects
    • RESILINK
    • Completed projects
    • BackPlan 2
    • FLUOR
  • Researches
    • Research activities
    • Conference & Journal Ranks
    • Thesis
      • Elena Jaramillo (2016)
      • Vincent Lalanne (2013)
      • Manuel Munier (1999)
    • Papers & Posters
      • FJC'2014 (EJ)
      • SARSSI'2013 (EJ)
      • SARSSI'2013 (VL)
  • Tutorials
    • IoT
      • openHAB 3.0 - how to access system information
      • openHAB 3.0 - RFLink 433MHz gateway (RFXCom alternative)
      • openHAB 3.0 - remote control of a Z-Wave smart plug via MQTT
      • openHAB 3.0 - install and setup of a Z-Wave smart plug
      • openHAB 3.0 - update of an item via MQTT messages
      • openHAB 3.0 - how to access to item state from JavaScript
      • openHAB 3.0 - install and setup of Z-Wave devices
      • openHAB 3.0 - how to create a switch that publishes its state via MQTT messages
  • Recent & Upcoming Talks
    • Droit des contrats - Sécurité informatique
    • Technologies de filtrage et de surveillance de l'Internet dans une entreprise
  • Teaching

COO-serializability: A Correctness Criterion for Cooperative Executions

Jun 1, 1997·
Pascal Molli
Manuel Munier
Manuel Munier
,
Gérôme Canals
,
François Charoy
,
Claude Godart
· 0 min read
Type
4
Last updated on Jun 1, 1997
Manuel Munier
Authors
Manuel Munier
Associate Professor in Computer Science
← Supporting cooperation in project-enterprises Jun 11, 1998
Languages:
English
Français

© 2024 Manuel Munier. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.