Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Π-calculus
Process calculus
Mathematics
Congruence
Calculus
Type system
Actor model and process calculi
Mobile Membranes
Process calculi
Applied mathematics