|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 14 van 25 gevonden artikelen
| Titel: |
On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra |
| Auteur: |
Csuhaj-Varjú, Erzsébet Mateescu, Alexandru |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 73 (2006) nr. 1-2 pagina's 37-50 |
| Jaar: |
2006-08-28 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 14 van 25 gevonden artikelen
| << vorige | volgende >> |