Automatic Implementation of Distributed Algorithms Specified in Event-B - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Automatic Implementation of Distributed Algorithms Specified in Event-B

Domains

Distributed, Parallel, and Cluster Computing [cs.DC] Software Engineering [cs.SE]

Mohamed Mosbah  : Connect in order to contact the contributor

https://hal.science/hal-00407991

Submitted on : Tuesday, July 28, 2009-11:31:59 AM

Last modification on : Friday, March 24, 2023-2:52:52 PM

No file

Dates and versions

hal-00407991 , version 1 (28-07-2009)

Identifiers

  • HAL Id : hal-00407991 , version 1

Cite

Mohamed Mosbah, Mohamed Tounsi. Automatic Implementation of Distributed Algorithms Specified in Event-B. Symbolic Computation in Software Science (SCSS 2009), Sep 2009, Tunisia. To appear. ⟨hal-00407991⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR
46 View
0 Download

Share

Gmail Facebook X LinkedIn More