Transformations of CCP programs (Englisch)
- Neue Suche nach: Etalle, S.
- Neue Suche nach: Gabbrielli, M.
- Neue Suche nach: Meo, M.C.
- Neue Suche nach: Etalle, S.
- Neue Suche nach: Gabbrielli, M.
- Neue Suche nach: Meo, M.C.
In:
ACM Transactions on Programming Languages and Systems
;
23
, 3
;
304-395
;
2001
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Transformations of CCP programs
-
Beteiligte:
-
Erschienen in:ACM Transactions on Programming Languages and Systems ; 23, 3 ; 304-395
-
Verlag:
-
Erscheinungsdatum:2001
-
Format / Umfang:92 Seiten, 32 Quellen
-
ISSN:
-
Coden:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 23, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 273
-
Model Checking of Hierarchical State MachinesAlur, R. et al. | 2001
- 304
-
Transformations of CCP ProgramsEtalle, S. et al. | 2001
- 396
-
Featherweight Java: A Minimal Core Calculus for Java and GJIgarashi, A. et al. | 2001