Role-Based Declarative Synchronization for Reconfigurable Systems

Tanasescu, Vlad; Wojciechowski, Paweł T.

doi:10.1007/978-3-540-30557-6_6

Search citation statements

Order By: Relevance

Paper Sections

Select...

Language Issues1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2006

Publication Types

Select...

Book1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Two approaches to such separation of concerns have been developed within our project: (1) static [24], in which synchronization policy (that may include isolation) is declared between components using concurrency combina-tors, and (2) dynamic [23], in which synchronization policy is declared between semantic rôles using abstract types. In [24], we defined a property, called composition safety, that informally means that any runtime execution of a protocol can satisfy the synchronization policy declared using the language of concurreny combinators.…”

Section: Language Issuesmentioning

confidence: 99%

Advances in the Design and Implementation of Group Communication Middleware

Bünzli

Fuzzati

Mena

et al. 2006

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within the group. The goal of the project was to improve the state of the art of group communication in several directions: protocol frameworks, group communication stacks, specification, verification and robustness. The paper discusses the results obtained.

show abstract

Section: Language Issuesmentioning

confidence: 99%