IRIS

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].

Enhancing Reaction Systems: A Process Algebraic Approach

Brodo L.
;
2019-01-01
2019
Inglese
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
11760
68
85
18
978-3-030-31174-2
978-3-030-31175-9
https://www.springer.com/series/558
Springer Verlag
Esperti anonimi
Internazionale
Multi-party interaction; Process algebras; Reaction systems
2-s2.0-85075052669
No
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].
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Brodo, L.; Bruni, R.; Falaschi, M.
273
3
none
info:eu-repo/semantics/conferenceObject
4.1 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/231830
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? ND
social impact