Back to Results
First PageMeta Content
Formal methods / Computing / Software engineering / SIGNAL / Esterel / Lustre / Adder / Dataflow / Process calculus / Hardware description languages / Synchronous programming languages / Electronic engineering


Document Date: 2013-08-26 05:37:03

Open Document

File Size: 269,57 KB

Share Result on Facebook

Company

Hamon / Kahn Process Networks / N-Synchronous Kahn Networks / Synchronous Kahn Networks / /

/

IndustryTerm

graphical tool / under-specified systems / /

Person

Bruno Pagano / Hamon Pagano / Jean-Louis Cola / Paul Caspi / /

ProgrammingLanguage

Haskell / ML / Esterel / /

Technology

Functional Programming / /

SocialTag