Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming - Rilegato

Francez, Nissim; Forman, Ira R.

 
9780201565287: Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.