Author:
Schewe Klaus-Dieter,Aït-Ameur Yamine,Benyagoub Sarah
Publisher
Springer International Publishing
Reference13 articles.
1. Basu, S., Bultan, T.: On deciding synchronizability for asynchronously communicating systems. Theor. Comput. Sci. 656, 60–75 (2016). https://doi.org/10.1016/j.tcs.2016.09.023
2. Lecture Notes in Computer Science;S Benyagoub,2020
3. Lecture Notes in Computer Science;S Benyagoub,2018
4. Börger, E., Schewe, K.-D.: Concurrent abstract state machines. Acta Informatica 53(5), 469–492 (2015). https://doi.org/10.1007/s00236-015-0249-7
5. Börger, E., Schewe, K.D.: Communication in abstract state machines. J. UCS 23(2), 129–145 (2017). http://www.jucs.org/jucs_23_2/communication_in_abstract_state