
×
Modal and Temporal Properties of Processes
von Colin StirlingInhaltsverzeichnis
- 1 Processes.
- 2 Modalities and Capabilities.
- 3 Bisimulations.
- 4 Temporal Properties.
- 5 Modal Mu-Calculus.
- 6 Verifying Temporal Properties.
- 7 Exposing Structure.
- References.