Interacting processes: a multiparty approach to coordinated distributed programming

@inproceedings{Francez1996InteractingPA,
  title={Interacting processes: a multiparty approach to coordinated distributed programming},
  author={Nissim Francez and Ira R. Forman},
  year={1996}
}
In response to the industry's need for coordination, this book represents an approach to the design of coordinated, distributed programs, based on a high-level language, IP. This book appeals to theoretical computer scientists who are interested in the application of formal methods to distributed programs and software engineers who adopt an algorithmic approach when they develop software for distributed systems. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 38 CITATIONS

An order-based algorithm for implementing multiparty synchronization

  • Concurrency - Practice and Experience
  • 2004
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Fairness in systems based on multiparty interactions

  • Concurrency and Computation: Practice and Experience
  • 2003
VIEW 13 EXCERPTS
CITES BACKGROUND & RESULTS
HIGHLY INFLUENCED

Multi-Party Coordination in the Context of MOWS

  • Programming and Computer Software
  • 2002
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Vivacidad y Justicia en Entornos no Deterministas

  • Revista Colombiana de Computación
  • 2002
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability

  • Theor. Comput. Sci.
  • 2000
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Multiparty interactions in dependable distributed systems

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Parallel Programming with Interacting Processes

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Synthesis of Concurrent Systems with Many Similar Processes

  • ACM Trans. Program. Lang. Syst.
  • 1998
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Implementing a Language for coordinated distributedprogramming on a transputer multiprocessorAllon

Adir Nissim Francez Shmuel, KatzDepartment
  • 2018
VIEW 2 EXCERPTS
CITES BACKGROUND

Similar Papers

Loading similar papers…