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: DEFRANCESCO N SANTONE A VAGLINI G

Citation: N. Defrancesco et al., STATE-SPACE REDUCTION BY NONSTANDARD SEMANTICS FOR DEADLOCK ANALYSIS, Science of computer programming, 30(3), 1998, pp. 309-338

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

Authors: DEFRANCESCO N VAGLINI G

Citation: N. Defrancesco et G. Vaglini, CONCURRENT BEHAVIOR - A CONSTRUCT TO SPECIFY THE EXTERNAL BEHAVIOR OFOBJECTS IN OBJECT DATABASES, DISTRIBUTED AND PARALLEL DATABASES, 2(1), 1994, pp. 33-58