Back to Results
First PageMeta Content
Mobile Membranes / Process calculi / Ambient calculus / Calculus


A Calculus of Bounded Capacities? F. Barbanera1 , M. Bugliesi2 , M. Dezani-Ciancaglini3 , and V. Sassone4 1 2
Add to Reading List

Document Date: 2005-06-07 06:50:58

Open Document

File Size: 138,00 KB

Share Result on Facebook

City

Università di Torino / Università di Catania / /

Company

Bounding Resources / /

Country

United Kingdom / Italy / /

Currency

pence / /

/

Facility

University of Sussex / /

IndustryTerm

host networks / negotiation protocol / static typing systems / companion type systems / labelled transition systems / type systems / memory management / /

Organization

University of Sussex / European Union / Global Computing and Ambient Intelligence / /

Person

DART IST / /

ProvinceOrState

Massachusetts / Sussex / /

Technology

mobile phones / spawning protocol / negotiation protocol / mobile devices / /

SocialTag