A generalized inverse expansion for pure interleaving


Do, H. Trung


[img]
Vorschau
PDF
TR-96-015.pdf - Veröffentlichte Version

Download (280kB)

URL: http://ub-madoc.bib.uni-mannheim.de/799
URN: urn:nbn:de:bsz:180-madoc-7991
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1996
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Paralleler Algorithmus , LOTOS <Programmiersprache>
Abstract: Inverse expansion for pure interleaving which is introduced by Pavon, Hultstroem, Quemada, Frutos and Ortega is a method for transforming a sequential finite-state process given in Basic LOTOS into two subprocesses running independently. Thereby, the sets of the gates occurring in these subprocesses are disjoint and must be given as the input parameter by a user. The property fulfilled by this transformation is the strong equivalence according to Milner. In this paper this method is generalized, i.e. the given process is transformed into more than two processes. Moreover, it is also applicable to the class of the recursive processes which is not treated by the authors mentioned above.
Zusätzliche Informationen:

Das Dokument wird vom Publikationsserver der Universitätsibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Do, H. Trung (1996) A generalized inverse expansion for pure interleaving. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

BASE: Do, H. Trung

Google Scholar: Do, H. Trung

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen