Testing equivalences and fully abstract models for communicating processes

Author(s)

• De Nicola, Rocco

Bibliographic Information

Testing equivalences and fully abstract models for communicating processes

by Rocco De Nicola

Library Document Supply Center, 1985]

Note

Facsim. reprint. Originally presented as the author's thesis (Ph.D.)--University of Edinburgh, 1985

Label mounted on added t.p. reads: British theses, linguistcs

Bibliography: leaves 206-213

Details

• NCID: BA36462340
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [London
• Pages/Volumes: vi, 213 leaves
• Size: 26 cm