Santos,, Alexandre Temporal logic and concurrent logic programming in protocol specification, verification and prototyping / Alexandre J. T. Santos, Vasco L. B. Freitas, José C. M. Neves

Temporal logic and concurrent logic programming in protocol specification, verification and prototyping / Alexandre J. T. Santos, Vasco L. B. Freitas, José C. M. Neves
681.3