HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Two Semantics for a Language of Reactive Objects

Abstract : We are studying semantics of a small object-based language, with the following main characteristics: parallelism, dynamicity, high order parameters, notion of a global instant, and reactivity. We give formal semantics using two related formalisms , namely $\pi$-calculus and the so-called «Chemical Abstract Machine» (\Name{CHAM}). These formalisms are both powerful enough to express dynamicity and high order parameters, but they give distinct insights into the language. In $\pi$-calculus, emphasis is put on communications through channels; on the other hand, in \Name{CHAM}, emphasis is put on more abstract and general interactions between program parts. We finally prove adequacy of the $\pi$-calculus semantics w.r.t. the \Name{CHA- M} semantics.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074167
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:39:29 PM
Last modification on : Friday, February 4, 2022 - 3:15:29 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:19:30 PM

Identifiers

  • HAL Id : inria-00074167, version 1

Collections

Citation

Frédéric Boussinot, Cosimo Laneve. Two Semantics for a Language of Reactive Objects. RR-2511, INRIA. 1995. ⟨inria-00074167⟩

Share

Metrics

Record views

52

Files downloads

62