Search results for: Alessandro Aldini
A Process Algebraic Approach to Software Architecture Design > Process Calculi and Behavioral Equivalences > 3-39
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Security and Quality of Service > 283-296
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Probabilistic Systems > 152-168
Lecture Notes in Computer Science > Architecting Dependable Systems VI > Part 3. Architecting Security > 228-254
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 168-183
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 17-36
Lecture Notes in Computer Science > Global Computing. Programming Environments, Languages, Security, and Analysis of Systems > 203-228
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
A Process Algebraic Approach to Software Architecture Design > Process Calculi and Behavioral Equivalences > 75-124