CASU, GIOVANNI
CASU, GIOVANNI
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
Merging relations: a way to compact Petri nets' behaviors uniformly
2017-01-01 Casu, Giovanni; Pinna, GIOVANNI MICHELE
Petri nets and dynamic causality for service-oriented computations
2017-01-01 Casu, G.; Pinna, G. M.
Unravel Nets. A way to represent behaviors compactly and to relate them to event structures
2017-03-27
An unifying framework for compacting Petri nets behaviors
2016-01-01 Casu, Giovanni; Pinna, GIOVANNI MICHELE
Flow unfolding of multi-clock nets
2014-01-01 Casu, Giovanni; Pinna, GIOVANNI MICHELE
High-performance technical computing with erlang
2008-01-01 Scalas, Alceste; Casu, Giovanni; Pili, P.
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Merging relations: a way to compact Petri nets' behaviors uniformly | 1-gen-2017 | Casu, Giovanni; Pinna, GIOVANNI MICHELE | - | Springer |
| Petri nets and dynamic causality for service-oriented computations | 1-gen-2017 | Casu, G.; Pinna, G. M. | - | Association for Computing Machinery |
| Unravel Nets. A way to represent behaviors compactly and to relate them to event structures | 27-mar-2017 | - | - | Università degli Studi di Cagliari |
| An unifying framework for compacting Petri nets behaviors | 1-gen-2016 | Casu, Giovanni; Pinna, GIOVANNI MICHELE | - | CEUR |
| Flow unfolding of multi-clock nets | 1-gen-2014 | Casu, Giovanni; Pinna, GIOVANNI MICHELE | LECTURE NOTES IN COMPUTER SCIENCE | Springer International Publishing Switzerland 2014 |
| High-performance technical computing with erlang | 1-gen-2008 | Scalas, Alceste; Casu, Giovanni; Pili, P. | - | ACM |