On Concurrent Programming

• 1 January 1997
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-1-4612-1830-2

Abstract

Keywords

• LOGIC PRO
• COMMUNICATION
• CONCURRENCY
• CONCURRENT PROGRAMMING
• CONFIGURATION
• DERIVATIVE
• DISTRIBUTED COMPUTING
• FORMAL METHODS
• LOGIC
• NETWORK
• NETWORKS
• PREDICATE LOGIC
• PROGRAMMING
• UNIVERSITY
• VARIABLE