SIS PUT | Relaxing Real-time Order in Opacity and Linearizability

Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Menu

Scientific Information System of the Poznań University of Technology

PL EN

Main page / Reports / Relaxing Real-time Order in Opacity and Linearizability

Submit a comment

Report

Works title

Relaxing Real-time Order in Opacity and Linearizability

Authors

Tadeusz Kobus (WI) ^{[ 1 ][ P ]}
Maciej Kokociński (WI) ^{[ 1 ][ P ]}
Paweł T. Wojciechowski (WI) ^{[ 1 ][ P ]}

^{[ 1 ]} Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | ^{[ P ]} employee

Work ID

r494897_2016

Keywords

EN

correctness
opacity
linearizability
deferred update replication

Date

25.10.2016

Language

english

Number of pages or volume of work

52

Type of work

research report

System created by Poznań University of Technology and Poznan Supercomputing and Networking Center

Log in through eKonto to add to SIS

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.