Abstract Structures for Communication between Processes

  • Authors:

  • Gabriel Ciobanu;Emanuel Florentin Olariu

  • Affiliations:

  • -;-

  • Venue:
  • PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
  • Year:
  • 1999

  • Interaction nets

    POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

  • Composing processes

    POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

  • Notes on P-Algebra 1: Process Structure

    TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes an algebraic structure which allows to define an abstract framework for communication in distributed systems. Using this structure we introduce an equivalence relation; the quotient induced by this equivalence relation preserves the initial algebraic structure. Our results represent a starting point in abstract investigation of the communication between processes, complementing the achievements of the process algebras.