The following pages link to Maria Grazia Buscemi (Q458464):
Displaying 16 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)
- (Q4484504) (← links)
- (Q4484506) (← links)
- A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
- Trustworthy Global Computing (Q5394795) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431313) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)
- Programming Languages and Systems (Q5464047) (← links)
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (Q5756485) (← links)
