Maria Grazia Buscemi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A compositional coalgebraic model of a fragment of fusion calculus Electronic Notes in Theoretical Computer Science	2015-07-10	Paper
A survey of constraint-based programming paradigms Computer Science Review	2014-10-07	Paper
A presheaf environment for the explicit fusion calculus Journal of Automated Reasoning	2013-08-01	Paper
QoS negotiation in service composition The Journal of Logic and Algebraic Programming	2011-01-07	Paper
Abstract Processes in Orchestration Languages Programming Languages and Systems	2009-03-31	Paper
A Category of Explicit Fusions Concurrency, Graphs and Models	2008-06-19	Paper
Open Bisimulation for the Concurrent Constraint Pi-Calculus Programming Languages and Systems	2008-04-11	Paper
Mathematical Foundations of Computer Science 2003 Lecture Notes in Computer Science	2007-12-07	Paper
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements Programming Languages and Systems	2007-09-04	Paper
A compositional coalgebraic model of fusion calculus The Journal of Logic and Algebraic Programming	2007-07-16	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
A method for symbolic analysis of security protocols Theoretical Computer Science	2005-06-30	Paper
scientific article; zbMATH DE number 1927579 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1927581 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1701348 (Why is no real title available?)	2002-02-05	Paper

Research outcomes over time

This page was built for person: Maria Grazia Buscemi