|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 14 of 25 found articles
| Title: |
On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra |
| Author: |
Csuhaj-Varjú, Erzsébet Mateescu, Alexandru |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 73 (2006) nr. 1-2 pages 37-50 |
| Year: |
2006-08-28 |
| Contents: |
In this paper we discuss some relationships between cooperating distributed (CD) grammar systems and the basic process algebra (BPA) calculus. We associate different types of process graphs from this calculus to CD grammar systems which describe the behavior of the components of the system under cooperation. We prove that these process graphs form a subalgebra of the graph model of BPA. It is also shown that for certain restricted variants of CD grammar systems and for certain types of these process graphs the bisimilarity of two process graphs is decidable. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 14 of 25 found articles
| << previous | next >> |