20 results on '"Di Giusto, Cinzia"'
Search Results
2. Steps on the Road to Component Evolvability
3. Hunting Distributed Malware with the κ-Calculus
4. Revisiting Glue Expressiveness in Component-Based Systems
5. Adaptable Processes (Extended Abstract)
6. The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
7. On the Expressiveness of Forwarding in Higher-Order Communication
8. Expressiveness of Multiple Heads in CHR
9. Full Abstraction for Linda
10. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
11. On Recursion, Replication and Scope Mechanisms in Process Calculi
12. Towards the Verification of Adaptable Processes
13. Steps on the Road to Component Evolvability
14. Hunting Distributed Malware with the κ-Calculus
15. Adaptable Processes (Extended Abstract)
16. The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
17. On the Expressiveness of Forwarding in Higher-Order Communication
18. Full Abstraction for Linda
19. On Recursion, Replication and Scope Mechanisms in Process Calculi
20. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.