Search

Your search keyword '"Di Giusto, Cinzia"' showing total 20 results

Search Constraints

Start Over You searched for: Author "Di Giusto, Cinzia" Remove constraint Author: "Di Giusto, Cinzia" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
20 results on '"Di Giusto, Cinzia"'

Search Results

1. Towards the Verification of Adaptable Processes

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

Catalog

Books, media, physical & digital resources