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
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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 Connect in order to contact the contributor
Submitted on : Friday, December 11, 2015 - 8:53:55 AM
Last modification on : Wednesday, November 17, 2021 - 12:33:01 PM

Identifiers

  • HAL Id : hal-01241806, version 1

Collections

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

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 Datacite

Share

Metrics

Record views

177

 

Contact                    Legal Notice                    Personal Data