Back to Results
First PageMeta Content
Π-calculus / Process calculus / Mathematics / Congruence / Calculus / Type system / Actor model and process calculi / Mobile Membranes / Process calculi / Applied mathematics / Computer science


Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006
Add to Reading List

Document Date: 2006-08-08 04:44:28

Open Document

File Size: 864,98 KB

Share Result on Facebook

Organization

GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School / /

Person

Vasco T. Vasconcelos / /

SocialTag