IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 1990)

Paper: Equation solving using modal transition systems (at LICS 1990)

Authors: Kim G. Larsen Liu Xinxin


This research offers as its main contribution a complete treatment of equation solving within process algebra for equation systems of the following form: C1(X)~P1, . . ., C n(X)~Pn where Ci are arbitrary contexts (i.e. derived operators) of some process algebra, Pi are arbitrary process (i.e. terms of the process algebra), ~ is the bisimulation equivalence, and X is the unknown process to be found (if possible). It is shown that the solution set to this equation may be characterized in terms of a distinctive modal transition system, and that a solution to the above equation systems may be readily extracted (when solutions exist) on this basis. In fact, the results have led to an implementation (in Prolog) of an automatic tool for solving equations in the finite-state case


    author = 	 {Kim G. Larsen and Liu Xinxin},
    title = 	 {Equation solving using modal transition systems},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990)},
    year =	 {1990},
    month =	 {June}, 
    pages =      {108--117},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}

Last modified: 2018-06-2121:59
Andrzej Murawski