Finite Transition Systems: Semantics of Communicating Systems - Rilegato

Arnold, Andre

 
9780130929907: Finite Transition Systems: Semantics of Communicating Systems

Sinossi

A textbook for an advanced undergraduate course in computer science and of possible interest to researchers and professional software designers. Synthesizes the recent work on finite transition systems, a formalism that is mathematically simple but can model most of the properties of communications systems and also plays a role in studying their semantics. Translated from the 1992 French edition. Annotation copyright Book News, Inc. Portland, Or.

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