Interacting Processes. A Multiparty Approach To Coordinated Distributed Programming - Couverture rigide

Forman, Ira-R; Francez, Nissim

 
9780201565287: Interacting Processes. A Multiparty Approach To Coordinated Distributed Programming

Synopsis

This text presents a methodology for the design of distributed parallel programs in general, and reactive systems in particular. It also presents a defined notation (IP) for expressing the design of reactive systems and an accompanying design method.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.