Corpus ID: 58290871

Interacting processes: a multiparty approach to coordinated distributed programming

  title={Interacting processes: a multiparty approach to coordinated distributed programming},
  author={N. Francez and I. Forman},
  • N. Francez, I. Forman
  • Published 1996
  • Computer Science
  • 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. 
    75 Citations

    Topics from this paper

    Interaction and coordination for distributed grid computing
    • P. Tang, J. Sinnamon
    • Computer Science
    • IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004
    • 2004
    • 3
    • PDF
    A Group Based Approach for Coordinating Active Objects
    • 38
    • PDF
    Parallel Programming with Interacting Processes
    • 9
    • PDF
    Implementing multiparty interactions on a network computer
    • R. Corchuelo, David Ruiz, M. Toro, A. Cortés
    • Computer Science
    • Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium
    • 1999
    • 21
    • Highly Influenced
    • PDF
    A multiparty coordination aspect language
    • 11
    Multiparty interactions in dependable distributed systems
    • 13
    • Highly Influenced