Back to Results
First PageMeta Content
Lambda calculus / Process calculi / Π-calculus / Calculus / Binary tree / Combinatory logic / Church encoding / Graph / FO / Mathematics / Theoretical computer science / Applied mathematics


The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania
Add to Reading List

Document Date: 2010-08-11 18:23:14


Open Document

File Size: 360,13 KB

Share Result on Facebook

Company

Akamai / Sabc / /

/

Facility

Active Graphs Benjamin C. Pierce University of Pennsylvania / /

IndustryTerm

parallel composition operator / software components / internet routing / web structure / parallel algorithms / computing / ad hoc mobile networks / point-to-point internet communication / internet protocols / graph computing calculus / Content distribution networks / distributed graph algorithms / software systems / /

Organization

University of Pennsylvania / /

Person

Alessandro Romanel / /

ProvinceOrState

Pennsylvania / /

Technology

internet protocols / distributed graph algorithms / shared memory / Peer-to-peer / example algorithms / /

SocialTag