Synthesis of communicating processes from temporal logic specifications

Author(s)

• Wolper, Pierre

Bibliographic Information

Synthesis of communicating processes from temporal logic specifications

Pierre Léon Wolper

University Microfilms International, 1985

Note

Thesis(Ph.D.)--Stanford University, 1982

Details

• NCID: BA3629118X
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Ann Arbor
• Pages/Volumes: x, 111 p.
• Size: 22 cm