Synthesizing Concurrency Control Components from Process Algebraic Specifications

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/11767954_3 ◽

2006 ◽

pp. 28-43 ◽

Cited By ~ 2

Author(s):

Edoardo Bontà ◽

Marco Bernardo ◽

Jeff Magee ◽

Jeff Kramer

Keyword(s):

Concurrency Control ◽

Algebraic Specifications ◽

Process Algebraic

Download Full-text

Compiling process algebraic specifications into timed automata

Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97) ◽

10.1109/cmpsac.1997.624976 ◽

2002 ◽

Author(s):

C.K. Chang ◽

Yi-Te Tseng ◽

Ugo Buy

Keyword(s):

Timed Automata ◽

Algebraic Specifications ◽

Process Algebraic

Download Full-text

Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics

Formal Methods in System Design ◽

10.1007/s10703-005-1631-9 ◽

2005 ◽

Vol 26 (3) ◽

pp. 293-317

Author(s):

T. Karvi ◽

M. Tienari ◽

R. Kaivola

Keyword(s):

Algebraic Specifications ◽

Stepwise Development ◽

Trace Semantics ◽

Process Algebraic

Download Full-text

A Study on Concurrency Control Scheme for Scalability of Blockchain

Jouranl of Information and Security ◽

10.33778/kcsa.2020.20.3.071 ◽

2020 ◽

Vol 20 (3) ◽

pp. 71-78

Author(s):

Yong-Hyeog Kang ◽

◽

Wonhyung Park

Keyword(s):

Concurrency Control ◽

Control Scheme

Download Full-text

A Concurrency Control Method for Non-blocking Search Operation based on R-tree

The KIPS Transactions PartD ◽

10.3745/kipstd.2004.11d.4.809 ◽

2004 ◽

Vol 11D (4) ◽

pp. 809-822

Keyword(s):

Concurrency Control ◽

Control Method ◽

Search Operation

Download Full-text

Multiversion concurrency control for large-scale service directories

Third European Conference on Web Services (ECOWS'05) ◽

10.1109/ecows.2005.18 ◽

2005 ◽

Cited By ~ 1

Author(s):

W. Binder ◽

I. Constantinescu ◽

B. Faltings ◽

S. Spycher

Keyword(s):

Concurrency Control ◽

Large Scale

Download Full-text

Optimistic concurrency control for abstract data types

Proceedings of the fifth annual ACM symposium on Principles of distributed computing - PODC '86 ◽

10.1145/10590.10608 ◽

1986 ◽

Cited By ~ 8

Author(s):

Maurice Herlihy

Keyword(s):

Concurrency Control ◽

Abstract Data Types ◽

Data Types ◽

Optimistic Concurrency Control ◽

Abstract Data

Download Full-text

Concurrency Control Based on Transaction Clustering

2021 IEEE 37th International Conference on Data Engineering (ICDE) ◽

10.1109/icde51399.2021.00223 ◽

2021 ◽

Author(s):

Xuebin Su ◽

Hongzhi Wang ◽

Yan Zhang

Keyword(s):

Concurrency Control

Download Full-text

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases

2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) ◽

10.1109/sbac-pad49847.2020.00025 ◽

2020 ◽

Author(s):

Christina Peterson ◽

Amalee Wilson ◽

Peter Pirkelbauer ◽

Damian Dechev

Keyword(s):

Data Structure ◽

Concurrency Control ◽

Structure Approach ◽

Transactional Data

Download Full-text

An approximate analysis of a real-time database concurrency control protocol via Markov modeling

ACM SIGMETRICS Performance Evaluation Review ◽

10.1145/155768.155773 ◽

1993 ◽

Vol 20 (3) ◽

pp. 36-48 ◽

Cited By ~ 1

Author(s):

Özgür Ulusoy

Keyword(s):

Real Time ◽

Concurrency Control ◽

Markov Modeling ◽

Approximate Analysis ◽

Control Protocol ◽

Real Time Database

Download Full-text

A concurrency control algorithm in a distributed environment

10.1145/1500412.1500481 ◽

1981 ◽

Author(s):

Paul Decitre

Keyword(s):

Concurrency Control ◽

Control Algorithm ◽

Distributed Environment

Download Full-text