Back to Results
First PageMeta Content
Theoretical computer science / Monoidal categories / Logic in computer science / Computer architecture / Programming language semantics / Dataflow / Kahn process networks / Operational semantics / Kripke semantics / Models of computation / Mathematics / Logic


Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow  
Add to Reading List

Document Date: 2003-05-12 10:41:14

Open Document

File Size: 340,29 KB

Share Result on Facebook

Company

MN O LP / Russell / Concur / /

Country

United Kingdom / Denmark / Canada / /

Currency

USD / /

Facility

Glynn Winskel IT University of Copenhagen / McGill University / University of Cambridge / /

IndustryTerm

composite network / tensor product / asynchronous computing agents / dataflow network / symmetric tensor product / higher-order networks / indeterminate dataflow networks / indeterminate networks / constituent networks / cartesian product / feedback systems / dataflow networks / /

Organization

U.S. Securities and Exchange Commission / University of Copenhagen / McGill University / Montreal / University of Cambridge / /

Person

Samson Abramsky / Jack Dennis / Thomas T. Hildebrandt / /

Technology

AV / /

SocialTag