A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
In this paper, we present an algorithm for implementing them that is based on the idea of locking resources in a given order. ...
Multiparty interactions have been paid much attention in recent years because they provide the user with a useful mechanism for coordinating a number of entities that need to cooperate in order to achieve ...
The first algorithms for distributed coordination were produced in the context of CSP, and were restricted to two-party interactions. ...
doi:10.1007/3-540-46000-4_24
fatcat:nf72b2orzrg2hnq24hs4ab7dt4
Implementing multiparty interactions on a network computer
1999
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Multiparty interactions are the key to describe these problems, and there are several languages that use them for the description of reactive systems. ...
In this paper, we show and compare two different fair implementations of this mechanism and also outline the research we are carrying out in an effort to improve them. ...
We are working out an algorithm that solves this problem, but, for the time being, we have not implemented it. ...
doi:10.1109/eurmic.1999.794814
dblp:conf/euromicro/CorchueloRTR99
fatcat:ucoben3lazhmxgichgquc2dgqq
Optimized distributed implementation of multiparty interactions with observation
2012
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a novel approach for distributed implementation of multiparty interactions subject to scheduling constraints expressed by priorities. ...
We show that this model provides a natural encoding for priorities and moreover, can be used as an intermediate step towards provably correct and optimized distributed implementations. ...
Conclusion We proposed different methods of generating a distributed implementation for multiparty interactions with observation. ...
doi:10.1145/2414639.2414649
dblp:conf/agere/BensalemBQS12
fatcat:egxlzmvqfjbyvmeogixxur6f3y
A Modular Toolkit for Distributed Interactions
2011
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. ...
Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories. ...
As an example, we use the same core algorithm for both binary and multiparty session typing. ...
doi:10.4204/eptcs.69.7
fatcat:aif465sfxbbsbejfs7rxv3rnye
A multiparty coordination aspect language
2000
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Coordination languages were motivated by an ever-increasing need for producing highly-reusable components, which can be partially achieved by implementing them in a way that is independent of the way they ...
This language relies on the novel multiparty interaction model. ...
[ZS99] is the only article we know that presents a general scheme for implementing faulttolerant multiparty interactions in a distributed object-oriented environment. ...
doi:10.1145/369928.369939
fatcat:zas4fenajvfengdx546jvmldlq
On the design of heterogeneous applications for distributed coordination
2004
International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We are proposing to augment the existing middleware technologies to provide collaboration support through a multiparty interaction (MI) protocol rather than design a new programming language for distributed ...
A 4-layered model for heterogeneous distributed coordination Radestock and Eisenbach [5] present the concerns in developing coordinated distributed applications that interact with each other. ...
In this paper, we presented an algorithm for coordinating first-order multiparty interactions on demand with the middleware support. ...
doi:10.1109/itcc.2004.1286723
dblp:conf/itcc/ChiangT04
fatcat:dmf5ba4lh5gb7puhykdtn2qbsy
Tracing Distributed Component-Based Systems, a Brief Overview
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We overview a framework for tracing asynchronous distributed component-based systems with multiparty interactions managed by distributed schedulers. ...
Neither the global state nor the total ordering of the system events is available at runtime. We instrument the system to retrieve local events from the local traces of the schedulers. ...
The approach in [8] presents an algorithm for decentralized monitoring LTL formulas for synchronous distributed systems. ...
doi:10.1007/978-3-030-03769-7_24
fatcat:dxjfpz6lzncjjphgtwkmrtyvvm
A distributed object-oriented framework for dependable multiparty interactions
1999
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a general scheme for constructing dependable multiparty interactions in a distributed objectoriented system, and describe its implementation in Java. ...
In this paperwe describe a way of designing and implementing a more general concept: multiparty interactions. ...
development of a framework for the CA action mechanism and for the design of the fault-tolerant production cell case study. ...
doi:10.1145/320385.320431
fatcat:ea5btusbvfdlrgwop5vwjj7g6u
A distributed object-oriented framework for dependable multiparty interactions
1999
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a general scheme for constructing dependable multiparty interactions in a distributed objectoriented system, and describe its implementation in Java. ...
In this paperwe describe a way of designing and implementing a more general concept: multiparty interactions. ...
development of a framework for the CA action mechanism and for the design of the fault-tolerant production cell case study. ...
doi:10.1145/320384.320431
dblp:conf/oopsla/ZorzoS99
fatcat:uztvschg3bejvenzp6wtwavesy
Quantum Secure Multiparty Computation of Phylogenetic Trees of SARS-CoV-2 Genome
2021
2021 Telecoms Conference (ConfTELE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
It adapts a distance-based method known as the Unweighted Pair Group Method with Arithmetic mean (UPGMA) algorithm into a private setting where the sequences owned by each party are not disclosed to the ...
This system significantly improves security when compared to its classical implementation since both quantum oblivious transfer and quantum key distribution modules are robust under a quantum computer ...
CONCLUSIONWe described a Secure Multiparty Computation protocol for the UPGMA algorithm assisted with Quantum Oblivious Key Distribution and Quantum Key Distribution services. ...
doi:10.1109/conftele50222.2021.9435479
fatcat:av42nviujfgdnnj7fqizskd7ba
Exception Handling on Multiparty Interactions
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
framework for implementing DMIs in distributed systems. ...
The goal of this paper is twofold: to show how an existing specification language can be extended in order to allow dependable multiparty interactions (DMIs) to be declared and to present an object-oriented ...
Acknowledgments We would like to thank our colleagues Robert Stroud, Jie Xu, Alexander Romanovsky and Ian Welch for their comments in the development of a framework for the CA action mechanism. ...
arXiv:2111.03720v1
fatcat:aq5ipflgnvhyda46gxoa4a4kla
Multiparty Session Actors
2014
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. ...
The framework uses Scribble, which is a protocol description language based on multiparty session types. ...
We have implemented the multiparty session actors on top of Celery [3] (distributed message queue in Python) with support for distributed actors. ...
doi:10.4204/eptcs.155.5
fatcat:cww2ii2mjjdlxb5uf6gnx4yjq4
Optimized distributed implementation of multiparty interactions with Restriction
2015
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a novel approach for distributed implementation of multiparty interactions subject to scheduling constraints expressed by priorities. ...
We complete our framework through an enhanced conflict resolution protocol that natively implements Restriction. ...
This combination yields several methods for obtaining a distributed implementation of multiparty interactions subject to priorities. ...
doi:10.1016/j.scico.2014.02.013
fatcat:v3kzfprplrbw5msm4jq7zk6gba
An order-based algorithm for implementing multiparty synchronization
2004
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. ...
In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interactions to be known at compile-or run-time, ...
In order to implement multiparty interactions, we need to devise an algorithm that satisfies the following properties [20] . • Exclusion: when an interaction in a group of conflicting interactions is ...
doi:10.1002/cpe.903
fatcat:fxgamtagp5fytdt3ef476rbdpa
Scribbling Interactions with a Formal Foundation
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we discuss our ongoing endeavour to apply notations and algorithms based on the π-calculus and its theories for the development of large-scale distributed systems. ...
At the centre of this methodology is a formal description language for representing protocols for interactions, called Scribble. ...
We thank Raymond Hu, Matthew Rawlings and Munindar Singh for their comments. ...
doi:10.1007/978-3-642-19056-8_4
fatcat:76cikyol4zh7dcywj6gizh3uoe
« Previous
Showing results 1 — 15 out of 4,631 results