Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Programming language semantics / Concurrency / Denotational semantics / Petri net / Power domains / Actor model / Operational semantics / Theoretical computer science / Computer science / Models of computation


ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel
Add to Reading List

Document Date: 2011-02-08 06:54:38

Open Document

File Size: 179,27 KB

Share Result on Facebook

Company

Bo lA SA / /

Facility

Richard Garner / International Space Station / /

IndustryTerm

mathematical powerful and intuitive tool / trace inner product / distributed and parallel algorithms / parallel algorithms / distributive law / computing / rity protocols / positive solution / communication networks / transition systems / security protocols / suitable distributive law / /

Person

Sam Staton / Chung-Kil Hur / Marcelo Fiore / Martin Hyland / John Reynolds / Andy Pitts / Jonathan Hayman / /

Position

General / Principal Investigator / tackle / /

Technology

distributed and parallel algorithms / mathematical rity protocols / security protocols / oc- 1 / simulation / /

SocialTag