IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishWe propose a method for reducing a partially ordered set, in such a way that the lattice derived from a closure operator based on concurrency is changed as little as possible. In fact, we characterize in which cases it remains unchanged, and prove minimality of the resulting reduced poset. In these cases, we can complete this poset so as to obtain a causal net on which the closure operator will lead to the same lattice.
Puerto Aubel, A. (2017). Concurrency-preserving minimal process representation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.242-257). Springer Verlag [10.1007/978-3-319-57418-9_15].
| Citazione: | Puerto Aubel, A. (2017). Concurrency-preserving minimal process representation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.242-257). Springer Verlag [10.1007/978-3-319-57418-9_15]. | |
| Tipo: | slide + paper | |
| Carattere della pubblicazione: | Scientifica | |
| Presenza di un coautore afferente ad Istituzioni straniere: | No | |
| Titolo: | Concurrency-preserving minimal process representation | |
| Autori: | Puerto Aubel, A | |
| Autori: | PUERTO AUBEL, ADRIAN (Corresponding) | |
| Data di pubblicazione: | 2017 | |
| Lingua: | English | |
| Nome del convegno: | International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 15-18 May | |
| ISBN: | 9783319574172 | |
| Serie: | LECTURE NOTES IN COMPUTER SCIENCE | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-319-57418-9_15 | |
| Appare nelle tipologie: | 02 - Intervento a 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.
Copyright © 2022