Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.2 din 2008  
         
  Articol:   ADVANTAGES AND DISADVANTAGES OF THE METHODS OF DESCRIBING CONCURRENT SYSTEMS.

Autori:  ANITA VERBOVÁ, RÓBERT HUŽVÁR. 		 
       
         
  Rezumat:  This paper provides a review of existing paradigms for modelling concurrent processes. First we describe in short some formal methods designed for the development of the theory of concurrency. Because no unified theory or calculus for concurrency has showed up, we concentrate on interaction categories and their features relevant for our purposes. They are able to describe some essential features of communicating processes. Finally we confront all these methods and point out their limitations and expressive power. We highlight some open problems with regard to reasoning about concurrent systems.

Key words and phrases. Category theory, Concurrent systems, Process algebra, Interaction categories. 		 
         
     
         
         
      Revenire la pagina precedentă