Data di Pubblicazione:
2019
Citazione:
Enhancing Reaction Systems: A Process Algebraic Approach / Brodo, L.; Bruni, R.; Falaschi, M.. - 11760:(2019), pp. 68-85. ( The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy) [10.1007/978-3-030-31175-9_5].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
Multi-party interaction; Process algebras; Reaction systems
Elenco autori:
Brodo, L.; Bruni, R.; Falaschi, M.
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: