ρ Graph: Rendezvous ordering graph for Ada concurrent programs (Englisch)
Nationallizenz
- Neue Suche nach: Wang, Zhenyu
- Neue Suche nach: Wang, Zhenyu
In:
Journal of Computer Science and Technology
;
13
, 6
;
615-622
;
1998
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:ρ Graph: Rendezvous ordering graph for Ada concurrent programs
-
Weitere Titelangaben:J. of Comput. Sci. & Technol.
-
Beteiligte:Wang, Zhenyu ( Autor:in )
-
Erschienen in:Journal of Computer Science and Technology ; 13, 6 ; 615-622
-
Verlag:
- Neue Suche nach: Science Press
-
Erscheinungsort:Beijing
-
Erscheinungsdatum:01.11.1998
-
Format / Umfang:8 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 13, Ausgabe 6
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.
- 481
-
PrefaceCurien, P. -L. / Hennessy, M. / Lin, H. et al. | 1998
- 482
-
Playing games and proving properties of concurrent systemsStirling, Colin et al. | 1998
- 483
-
Some notes on graph automata, tiling systems and partition logicShen, Enshao et al. | 1998
- 490
-
Process Calculi for describing distributed systemsHennessy, Matthew et al. | 1998
- 491
-
Simply-typed underdeterminismDenney, Ewen et al. | 1998
- 509
-
Calculi for concurrent processesBoudol, Gérard et al. | 1998
- 510
-
Reaction graphFu, Yuxi et al. | 1998
- 531
-
An invitation to friendly testingde Frutos-Escrig, David / Llana-Díaz, Luis / Núñez, Manuel et al. | 1998
- 546
-
A crash course in λ-calculusHuet, G. et al. | 1998
- 546
-
A Crash Course in lambda-CalculusHuet, G. et al. | 1998
- 547
-
Another definition of order-sorted algebraHe, Ziqiang et al. | 1998
- 552
-
An overview of Duration CalculusZhou, Chaochen et al. | 1998
- 553
-
Formal derivation of graph algorithmic programs using partition-and-recurXue, Jinyun et al. | 1998
- 562
-
Explicit substitutions: A short surveyCurien, Pierre-Louis et al. | 1998
- 564
-
Dependent type system with subtyping (I) type level transitivity eliminationChen, Gang et al. | 1998
- 579
-
Structures definable in polymorphismFu, Yuxi et al. | 1998
- 588
-
Verifying automata specification of distributed probabilistic real-time systemsLuo, Tiegeng / Chen, Huowang / Wang, Bingshan / Wang, Ji / Gong, Zhenghu / Qi, Zhichang et al. | 1998
- 597
-
Program construction by verifying specificationLin, Hong / Chen, Guoliang et al. | 1998
- 608
-
Experimental study on strategy of combining SAT algorithmsLu, Weifeng / Zhang, Yuping et al. | 1998
- 615
-
ρ Graph: Rendezvous ordering graph for Ada concurrent programsWang, Zhenyu et al. | 1998
- 615
-
p Graph: Rendezvous Ordering Graph for Ada Concurrent ProgramsZhengu, W. et al. | 1998