Add to ORKGWe investigate how contracts can be used to regulate the interaction between processes. To do that, we study a variant of the concurrent constraints calculus presented in [2] , featuring primitives for multi-party synchronization via contracts. We proceed in two directions. First, we exploit our primitives to model some contract-based interactions. Then, we discuss how several models for concurrency can be expressed through our primitives. In particular, we encode the pi-calculus and graph rewriting.
We propose a formal model for distributed systems, where each participant advertises its requirement...
Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client...
) Ugo Montanari and Francesca Rossi Universit`a di Pisa, Dipartimento di Informatica Corso Italia ...
We investigate how contracts can be used to regulate the interaction between processes. To do that, ...
We propose a formal theory of contract-based computing. We model contracts as formulae in an intuiti...
We present a parametric calculus for contract-based computing in distributed systems. By abstracting...
Abstract Multiparty interactions are common place in today's distributed systems. An agent usually c...
Abstract. The SCOOP model extends the Eiffel programming language to provide support for concurrent ...
The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding...
The Pi-calculus is a formal model of concurrent computation based on the notion of naming. It has an...
We present a parametric calculus for contract-based computing in distributed systems. By abstract-in...
The -calculus is a formal model of concurrent computation based on the notion of naming. It has an i...
We propose a formal model for distributed systems, where each participant advertises its requirement...
We present a language \scc\ for the specification of direct exchange and/or global sharing of inform...
We propose a formal theory for contract-based computing. A contract is an agreement stipulated betwe...
We propose a formal model for distributed systems, where each participant advertises its requirement...
Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client...
) Ugo Montanari and Francesca Rossi Universit`a di Pisa, Dipartimento di Informatica Corso Italia ...
We investigate how contracts can be used to regulate the interaction between processes. To do that, ...
We propose a formal theory of contract-based computing. We model contracts as formulae in an intuiti...
We present a parametric calculus for contract-based computing in distributed systems. By abstracting...
Abstract Multiparty interactions are common place in today's distributed systems. An agent usually c...
Abstract. The SCOOP model extends the Eiffel programming language to provide support for concurrent ...
The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding...
The Pi-calculus is a formal model of concurrent computation based on the notion of naming. It has an...
We present a parametric calculus for contract-based computing in distributed systems. By abstract-in...
The -calculus is a formal model of concurrent computation based on the notion of naming. It has an i...
We propose a formal model for distributed systems, where each participant advertises its requirement...
We present a language \scc\ for the specification of direct exchange and/or global sharing of inform...
We propose a formal theory for contract-based computing. A contract is an agreement stipulated betwe...
We propose a formal model for distributed systems, where each participant advertises its requirement...
Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client...
) Ugo Montanari and Francesca Rossi Universit`a di Pisa, Dipartimento di Informatica Corso Italia ...