Filters








4,631 Hits in 5.3 sec

An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions [chapter]

José Antonio Pérez, Rafael Corchuelo, David Ruiz, Miguel Toro
2002 Lecture Notes in Computer Science  
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

R. Corchuelo, D. Ruiz, M. Toro, A. Ruiz
1999 Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium  
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

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012 Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12  
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

Julien Lange, Emilio Tuosto
2011 Electronic Proceedings in Theoretical Computer Science  
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

Rafael Corchuelo, José A. Pérez, Miguel Toro
2000 SIGPLAN notices  
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

Chia-Chu Chiang, P. Tang
2004 International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004.  
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]

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
2018 Lecture Notes in Computer Science  
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

A. F. Zorzo, R. J. Stroud
1999 SIGPLAN notices  
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

A. F. Zorzo, R. J. Stroud
1999 Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '99  
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

Manuel B. Santos, Ana C. Gomes, Armando N. Pinto, Paulo Mateus
2021 2021 Telecoms Conference (ConfTELE)  
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]

Brian Randell, Avelino Francisco Zorzo
2021 arXiv   pre-print
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

Rumyana Neykova, Nobuko Yoshida
2014 Electronic Proceedings in Theoretical Computer Science  
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

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2015 Science of Computer Programming  
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

José A. Pérez, Rafael Corchuelo, Miguel Toro
2004 Concurrency and Computation  
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]

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2011 Lecture Notes in Computer Science  
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