Skip to Main content Skip to Navigation
Conference papers

Towards refinement types for time-dependent data-flow networks

Jean-Pierre Talpin 1 Pierre Jouvelot 2 Sandeep Kumar Shukla 3
1 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 MINES ParisTech - École nationale supérieure des mines de Paris
3 IIT Kanpur - Indian Institute of Technology Kanpur
Keywords : flot-de-donnee concurrence types dependants theorie des types
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01241806
Contributor : Jean-Pierre Talpin <>
Submitted on : Friday, December 11, 2015 - 8:53:55 AM
Last modification on : Friday, January 8, 2021 - 3:40:39 AM

Identifiers

  • HAL Id : hal-01241806, version 1

Collections

CNRS | UNIV-RENNES1 | ENSMP | INRIA | IRISA | PARISTECH | ENSMP_CRI | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES | IRISA-D4 | INSTITUT-TELECOM | INSA-RENNES | PSL

Citation

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. ⟨hal-01241806⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

619

 

Contact                    Legal Notice                    Personal Data