Back to Search Start Over

Synthesis of concurrent systems with many similar processes

Authors :
Attie, Paul C.
Emerson, E. Allen
Source :
ACM Transactions on Programming Languages & Systems. January, 1998, Vol. 20 Issue 1, p51, 65 p.
Publication Year :
1998

Abstract

1. INTRODUCTION We exhibit a method of synthesizing a system of K similar sequential processes executing in parallel from a temporal logic specification, where K is an arbitrarily large natural […]

Subjects

Subjects :
Parallel processing
Processing modes -- Methods
Parallel processing -- Methods
Mathematical optimization -- Methods
Automatic programming -- Methods
Sequential processing -- Methods

Details

Language :
English
ISSN :
01640925
Volume :
20
Issue :
1
Database :
Gale General OneFile
Journal :
ACM Transactions on Programming Languages & Systems
Publication Type :
Academic Journal
Accession number :
edsgcl.20757656

Tools

Authors Abstract Subjects Details