<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-06-07 07:02:24Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2005-06-07 07:02:24Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus |
Add to Reading List |
Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice