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...

Full description

Bibliographic Details

Published in:	Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings pp. 197 - 205
Main Author:	Chia-Chu Chiang
Format:	Conference Proceeding
Language:	English
Published:	IEEE 2004
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!