Search results

Hennessy–Milner logic
in Computing. pp. 294–330. doi:10.1007/978-1-4471-3534-0_15. ISBN 978-3-540-19581-8. Colin P. Stirling (2001). Modal and temporal properties of processes...

4 KB (646 words) - 23:11, 25 August 2023