Publisher
Springer International Publishing
Reference20 articles.
1. Azzopardi, S., Pace, G.J., Schapachnik, F.: On observing contracts: deontic contracts meet smart contracts. In: Palmirani, M. (ed.) Legal Knowledge and Information Systems - JURIX 2018, vol. 313, pp. 21–30. IOS Press (2018)
2. Bernardo, M., De Nicola, R., Loreti, M.: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225, 29–82 (2013)
3. Bernardo, M., De Nicola, R., Loreti, M.: Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1), 61–106 (2015)
4. Bottoni, P., Gorla, D., Kasangian, S., Labella, A.: A doctrinal approach to modal/temporal heyting logic and non-determinism in processes. Math. Struct. Comput. Sci. 28(4), 508–532 (2018)
5. Bottoni, P., Labella, A., Kasangian, S.: Spatial and temporal aspects in visual interaction. J. Vis. Lang. Comput. 23(2), 91–102 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献