Back to Results
First PageMeta Content
Applied mathematics / Computer science / Mathematics / Π-calculus / Lambda calculus / Calculus / XTR / Mobile Membranes / Process calculi / Theoretical computer science / Ambient calculus


Boxed Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 2 D´epartement d’Informatique
Add to Reading List

Document Date: 2005-06-07 07:00:01


Open Document

File Size: 270,93 KB

Share Result on Facebook

City

Venezia / Paris / /

Company

CNRS Program Telecommunications / /

Country

France / Italy / /

IndustryTerm

channeled communications / communication protocols / companion type systems / computing / type systems / congruence law / remote communications / typed communications / wide-area distributed applications / wide-area computing / /

Organization

D´epartement d’Informatique ´Ecole Normale Sup´erieure / Path Assoc / /

Position

resulting model of communication / model of communication / /

ProgrammingLanguage

Java / /

Technology

communication protocols / Java / /

SocialTag