DMCA
Self-Synchronization of Concurrent Processes (1993)
BibTeX
@MISC{Jategaonkar93self-synchronizationof,
author = {Lalita Jategaonkar and Lalita Jategaonkar and Albert R. Meyer and Albert R. Meyer},
title = {Self-Synchronization of Concurrent Processes},
year = {1993}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We introduce a unary "self-synchronization" operation on concurrent processes that synchronizes concurrent transitions within a process. Standard parallel synchronization and communicating action refinement operations can be reduced to simple combinations of self-synchronization and unsynchronized noncommunicating operations. We show that modifying familiar fully abstract process semantics so that actions are replaced by action multi-sets (steps) typically yields semantics which are fully abstract for processes with self-synchronization. 1 Introduction 1.1 Self-Synchronization We introduce a unary "self-synchronization" operation on concurrent processes similar in spirit to the binary operations of parallel-composition-withcommunication found in CCS [12], CSP [9] and ACP [2]. Self-synchronization, however, allows sets of concurrent transitions within a process to synchronize and perform a new transition. Self-synchronization on action set fa; bg and action c of process P , written S...
Keyphrases
concurrent process concurrent transition unary self-synchronization operation abstract process semantics action multi-sets standard parallel synchronization simple combination action refinement operation new transition binary operation unsynchronized noncommunicating operation yield semantics
