![Modal and Temporal Properties of Processes [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
Modal and Temporal Properties of Processes [electronic resource] /
1 Processes -- 2 Modalities and Capabilities -- 3 Bisimulations -- 4 Temporal Properties -- 5 Modal Mu-Calculus -- 6 Verifying Temporal Properties -- 7 Exposing Structure -- References.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
New York, NY : Springer New York : Imprint: Springer,
2001
|
| Subjects: | Engineering., Software engineering., Computer logic., Mathematical logic., Computer engineering., Control engineering., Control., Software Engineering/Programming and Operating Systems., Computer Engineering., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., |
| Online Access: | http://dx.doi.org/10.1007/978-1-4757-3550-5 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 1 Processes -- 2 Modalities and Capabilities -- 3 Bisimulations -- 4 Temporal Properties -- 5 Modal Mu-Calculus -- 6 Verifying Temporal Properties -- 7 Exposing Structure -- References. |
|---|