Maria Grazia Buscemi

From MaRDI portal
Person:458464

Available identifiers

zbMath Open buscemi.maria-graziaMaRDI QIDQ458464

List of research outcomes





PublicationDate of PublicationType
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus2015-07-10Paper
A survey of constraint-based programming paradigms2014-10-07Paper
A presheaf environment for the explicit fusion calculus2013-08-01Paper
QoS negotiation in service composition2011-01-07Paper
Abstract Processes in Orchestration Languages2009-03-31Paper
A Category of Explicit Fusions2008-06-19Paper
Open Bisimulation for the Concurrent Constraint Pi-Calculus2008-04-11Paper
Mathematical Foundations of Computer Science 20032007-12-07Paper
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements2007-09-04Paper
A compositional coalgebraic model of fusion calculus2007-07-16Paper
Trustworthy Global Computing2006-11-01Paper
Programming Languages and Systems2005-08-17Paper
A method for symbolic analysis of security protocols2005-06-30Paper
https://portal.mardi4nfdi.de/entity/Q44845042003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q44845062003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q27694272002-02-05Paper

Research outcomes over time

This page was built for person: Maria Grazia Buscemi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:458464&oldid=7136582"
Powered by MediaWiki