A formal specification-based approach to distributed parallel programming

Low-level language constructs used for expressing explicit communication, concurrency, synchronization, and parallelism in systems make the systems difficult to maintain. For example, many programming languages allow programmers to create parallel processes by using the fork/join statement and provi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings S. 197 - 205
1. Verfasser:	Chia-Chu Chiang
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 2004
Schlagworte:	Application software Communication system software Computer languages Concurrent computing Isolation technology Middleware Parallel processing Parallel programming Programming profession Software maintenance
ISBN:	0769520944, 9780769520940
ISSN:	1530-2059
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!