عنوان

Finite transition systems : semantics of communicating systems,Systemes de transitions finit et semantique des processus communicants. English

113653

پا‌ئیز۶۷

English

)91(

Arnold, A.)Andre(

1945-

Finite transition systems : semantics of communicating systems

Paris

Masson

1994

vii, 177 p. : ill. ; 25 cm

Prentice Hall international series in computer science

Includes bibliographical references and index

Systemes de transitions finit et semantique des processus communicants. English

، Sequential machine theory

267

A7613

1994

Andre Arnold ; translated by John Plaice

129

عنوان Finite transition systems : semantics of communicating systems,Systemes de transitions finit et semantique des processus communicants. English