Publication Date:
2019
Short description:
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].
Iris type:
4.1 Contributo in Atti di convegno
Keywords:
Multi-party interaction; Process algebras; Reaction systems
List of contributors:
Brodo, L.; Bruni, R.; Falaschi, M.
Book title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Published in: