Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...

Event structures are fundamental models in concurrency theory, providing a representation of events computation and their relations, notably concurrency, conflict causality. In this paper we present theory minimisation for event structures. Working class that generalises many stable structure the literature (e.g., prime, asymmetric, flow bundle structures), study notion behaviour-preserving quo...

CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether qualifies as an applicable formal method, based on experience authors and feedback reported by users.

concurrency control is one of the important problems in operation systems. various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. this paper presents a survey of the current methods for controlling...

This paper provides a review of existing paradigms for modelling concurrent processes. First we describe in short some formal methods designed for the development of the theory of concurrency. Because no unified theory or calculus for concurrency has showed up, we concentrate on interaction categories and their features relevant for our purposes. They are able to describe some essential feature...

CoOperative Objects (COOs) are a concurrent object-oriented modelling and programming language, which uses the Petri net theory to define the concurrency within each object, among objects, and also the inter-object asynchronous communication. SYROCO is a C++ implementation of CoOperative Objects which proves to be efficient and convenient enough to support real size applications. The paper aims...

The research seminar “Open Problems in Concurrency Theory” (OPCT 2014) was a prolific and successful gathering of the leading researchers in concurrency theory aiming to identify the most important open problems in the area. This special issue contains a selected set of papers of the 44 presentations given during the seminar. The meeting was held on 18–21 June 2014 in the Fresco Room of the Uni...

We introduce posets with interfaces (iposets) and generalise their standard serial composition to a new gluing composition. In the partial order semantics of concurrency, allow modelling events that extend in time across components. Alternatively, taking decompositional view, cutting through events, while may only cut edges poset. show iposets under form category, which generalises monoid up is...