Modal and Temporal Properties of Processes von Colin Stirling | ISBN 9781475735505

Modal and Temporal Properties of Processes

von Colin Stirling
Buchcover Modal and Temporal Properties of Processes | Colin Stirling | EAN 9781475735505 | ISBN 1-4757-3550-2 | ISBN 978-1-4757-3550-5

Modal and Temporal Properties of Processes

von Colin Stirling

Inhaltsverzeichnis

  • 1 Processes.
  • 2 Modalities and Capabilities.
  • 3 Bisimulations.
  • 4 Temporal Properties.
  • 5 Modal Mu-Calculus.
  • 6 Verifying Temporal Properties.
  • 7 Exposing Structure.
  • References.