Guardians for Concurrent Systems by Hewitt, Carl, Attardi, Giuseppe

“…In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the sequential stored program model. …”
Get full text

Understanding Concurrent Systems by Roscoe, A

Specification and verification of concurrent systems / by Rattray, C. (Charles), 1938-

Logics and models of concurrent systems / by Apt, Krzysztof

Scheduling techniques for concurrent systems / by 464544 Ousterhout, John K.

Verifying concurrent systems by approximation by Antonino, P

“…The unsuccessful attempts at using symbolic exploration to precisely check concurrent systems, combined with the success of our frameworks, suggest that the approximations we study are a key factor in harnessing the verification power of these solvers.…”

Concurrent systems engineering [jurnal elektronik]

Get full text

Actions and Events in Concurrent Systems Design by Valentin Cassano, Thomas S. E. Maibaum

“…In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. …”
Get full text

Verification of message passing concurrent systems by D'Osualdo, E

“…<p>This dissertation is concerned with the development of fully-automatic methods of verification, for message-passing based concurrent systems.</p> <p>In the first part of the thesis we focus on Erlang, a dynamically typed, higher-order functional language with pattern-matching algebraic data types extended with asynchronous message-passing. …”

Techniques and tools for the verification of concurrent systems by Palikareva, H

“…</p> <p>In this thesis we focus on adapting and developing novel model-checking techniques for concurrent systems in the setting of the process algebra CSP and its primary model checker FDR. …”

Specification and analysis of concurrent systems : the COSY approach / by 193410 Janicki, Ryszard, Lauer, Peter E.

Concurrent Systems Need Both Sequences And Serializers by Hewitt, Carl

Get full text

Fair termination for parameterized probabilistic concurrent systems by Lengál, O, Lin, A, Majumdar, R, Ruemmer, P

“…<p>We consider the problem of automatically verifying that a parameterized family of probabilistic concurrent systems terminates with probability one for all instances against adversarial schedulers. …”

Formal Specification and Verification of Self-Adaptive Concurrent Systems by Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi

“…In this research, we use modal &#x03BC;-calculus (M&#x03BC;) for the specification and verification of colored Petri nets-based self-adaptive concurrent systems. We propose self-adaptive multi-agent concurrent system (SMACS) framework that is specifically designed for complex architectures. …”
Get full text

Compositional model checking of concurrent systems, with Petri nets by Paweł Sobociński

“…The algorithms feature the use of compositionality and process equivalence, a powerful combination that can be harnessed to improve the performance of checking reachability and coverability in several common examples where Petri nets model realistic concurrent systems.…”
Get full text

Analysis of asynchronous concurrent systems by timed petri nets. by Ramchandani, Chander

Get full text

Analysis of Asynchronous Concurrent Systems by Timed Petri Nets by Ramchandani, Chander

“…In the first part, a suitable model is developed for describing the structure of asynchronous concurrent systems. In conventional automata theory, the finite-state machine model is used to describe the behavior of systems; the problem with this is that a large number of states results when practical systems are modelled.…”
Get full text

Reasoning about concurrent systems: a functional approach by Abramsky, S

Reasoning about equilibria in game-like concurrent systems by Gutierrez, J, Harrenstein, P, Wooldridge, M

“…Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. …”

Learning to prove safety over parameterised concurrent systems by Chen, Y, Hong, C, Lin, A, Ruemmer, P

“…We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some finite (symbolic) means. …”