Paper: Self-synchronization of concurrent processes (at LICS 1993)

Authors: Lalita Jategaonkar Albert R. Meyer

Abstract

Introduces 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. Modifying familiar fully abstract process semantics, so that actions are replaced by action multisets (steps), typically yields semantics that are fully abstract for processes with self-synchronization

BibTeX

  @InProceedings{JategaonkarMeyer-Selfsynchronization,
    author = 	 {Lalita Jategaonkar and Albert R. Meyer},
    title = 	 {Self-synchronization of concurrent processes},
    booktitle =  {Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science (LICS 1993)},
    year =	 {1993},
    month =	 {June}, 
    pages =      {409--417},
    location =   {Montreal, Canada}, 
    publisher =	 {IEEE Computer Society Press}
  }