Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming (Acm Press Books) - Hardcover

Nissim, Francez; Forman, Ira R.

 
9780201565287: Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming (Acm Press Books)

Synopsis

In response to the industry's need for coordination, this book represents an approach to the design of coordinated, distributed programs, based on a high-level language, IP. This book appeals to theoretical computer scientists who are interested in the application of formal methods to distributed programs and software engineers who adopt an algorithmic approach when they develop software for distributed systems.

"synopsis" may belong to another edition of this title.

About the Author

Ira Forman is a member of IBM's Object Technology Products Group in Austin, Texas.

"About this title" may belong to another edition of this title.