Back to Results
First PageMeta Content
Process calculi / Ambient calculus / Models of computation / Deduction / Theoretical computer science / Propositional calculus / Entailment / Process calculus / Valuation / Logic / Abstract algebra / Mathematics


Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d
Add to Reading List

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

Open Document

File Size: 252,48 KB

Share Result on Facebook

City

Foscari Venezia / /

Company

Elsevier Science B. V. / E NV / /

Currency

pence / /

/

IndustryTerm

upward communications / companion type systems / it difficult to encode certain protocols / /

Organization

Ecole Normale Sup´erieure Paris / Path Assoc / /

Person

Giuseppe Castagna / /

ProgrammingLanguage

D / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

SportsEvent

EPL / /

Technology

Dom / /

URL

http /

SocialTag