Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations
type: Dataset
description: International audience
issued: 2026-05-07T16:05:51.903546
language: en
modified: 2026-05-07T16:05:51.903550
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: distributed-algorithms
keyword: event-b-method
keyword: formal-method
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-clcomputer-science-cscomputation-and-language-cscl
keyword: infoinfo-dccomputer-science-csdistributed-parallel-and-cluster-computing-csdc
keyword: local-computation-systems
landing page: Infrastructure for Collaborative Enterprises

Towards Proved Distributed Algorithms through Refinement, Composition and Local Computations
type: Distribution
format: HTML
issued: 2026-05-07T16:05:51.904691
modified: 2026-05-07T16:05:51.893039
access URL: https://hal.science/hal-00923463

test_moissonnage_selune
type: Agent