Extending Ina Jo with Temporal Logic
Wing, Jeannette M. Nixon, M. S
Extending Ina Jo with Temporal Logic - 181-197 p.
Concurrency
Formal Specification
Nondeterminism
Extending Ina Jo with Temporal Logic - 181-197 p.
Concurrency
Formal Specification
Nondeterminism