The following pages link to Maria Grazia Buscemi (Q458464):
Displaying 10 items.
- A survey of constraint-based programming paradigms (Q458465) (← links)
- A method for symbolic analysis of security protocols (Q557806) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- (Q2769427) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Abstract Processes in Orchestration Languages (Q3617707) (← links)
- A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431313) (← links)
