Skip to Main content Skip to Navigation
Reports

Modular system development with pullbacks

Abstract : Two, seemingly different modular techniques for concurrent system development are investigated from a categorical perspective. A novel approach is presented in which they turn out to be merely special instances of pullback, a general categorical limit construction. Interestingly, the approach is based on truly concurrent semantics of systems.
Document type :
Reports
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00071758
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 6:42:03 PM
Last modification on : Monday, November 23, 2020 - 12:52:03 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:36:43 PM

Identifiers

  • HAL Id : inria-00071758, version 1

Citation

Marek Bednarczyk, Luca Bernardinello, Benoit Caillaud, Wieslaw Pawlowski, Lucia Pomello. Modular system development with pullbacks. [Research Report] RR-4828, INRIA. 2003. ⟨inria-00071758⟩

Share

Metrics

Record views

362

Files downloads

384