Publisher
Springer Nature Switzerland
Reference15 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Programm. Lang. Syst. 17, 507–533 (1995). https://doi.org/10.1145/203095.201069
2. de Roever, W.-P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification. Cambridge University Press (2001)
3. Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Softw. Syst. Model. 22(4), 349–458 (2005). https://doi.org/10.1007/s10270-005-0087-0
4. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576–583 (1969). https://doi.org/10.1145/363235.363259
5. International Telecommunication Union. Recommendation Z.120 – Message Sequence Chart (MSC) (1996)