The STUDIA UNIVERSITATIS BABEŞ-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

  
       
         
    STUDIA INFORMATICA - Issue no. 2 / 2008  
         
  Article:   ADVANTAGES AND DISADVANTAGES OF THE METHODS OF DESCRIBING CONCURRENT SYSTEMS.

Authors:  ANITA VERBOVÁ, RÓBERT HUŽVÁR. 		 
       
         
  Abstract:  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. 		 
         
     
         
         
      Back to previous page