Authors: BERNARDESCHI C DEFRANCESCO N VAGLINI G

Citation: C. Bernardeschi et al., A PARTIAL ORDER SEMANTICS FOR FIFO-NETS, IEICE transactions on information and systems, E81D(8), 1998, pp. 773-782

Authors: BERNARDESCHI C BONDAVALLI A CSERTAN G MAJZIK I SIMONCINI L

Citation: C. Bernardeschi et al., TEMPORAL ANALYSIS OF DATA-FLOW CONTROL-SYSTEMS, Automatica, 34(2), 1998, pp. 169-182

Authors: BERNARDESCHI C FANTECHI A GNESI S

Citation: C. Bernardeschi et al., AN INDUSTRIAL APPLICATION FOR THE JACK ENVIRONMENT, The Journal of systems and software, 39(3), 1997, pp. 249-264

Authors: BERNARDESCHI C BONDAVALLI A SIMONCINI L

Citation: C. Bernardeschi et al., USING PROCESS ALGEBRAS FOR THE SEMANTIC ANALYSIS OF DATA-FLOW NETWORKS, IEICE transactions on information and systems, E78D(8), 1995, pp. 959-968

Authors: BERNARDESCHI C DEFRANCESCO N VAGLINI G

Citation: C. Bernardeschi et al., A PETRI NETS SEMANTICS FOR DATA-FLOW NETWORKS, Acta informatica, 32(4), 1995, pp. 347-374