.gif)
Stronger Validity Criteria for Encoding Synchrony
| Title | Stronger Validity Criteria for Encoding Synchrony |
| Publication Type | Book Chapter |
| Year of Publication | 2019 |
| Authors | van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke |
| Refereed Designation | Refereed |
| Book Title | The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday |
| Publisher | Springer International Publishing |
| City | Cham |
| ISBN | 978-3-030-31175-9 |