@techreport{aclt-techrep97,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
    keywords = {Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence},
    number = {DEIS-LIA-97-009},
    series = {DEIS Technical Reports},
    subseries = {LIA Series},
    title = {Expressive Power of the {$\mathcal{ACLT}$} Reaction Specification Language},
    type = {DEIS Technical Report},
    volume = 26,
    year = 1997
} 

 @techreport{pfcnr-4-91,
    address = {Roma, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = mar,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/91,
    series = {CNR Technical Report},
    title = {Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale},
    type = {CNR Technical Report},
    year = 1993
} 

 @article{cisemme392,
    author = {Mauro Cesana and Denti, Enrico and Natali, Antonio and Judith Szanto},
    institution = {CISE S.p.A., Milan, Italy},
    number = 7312,
    series = {Rapporto Topico interno CISE S.p.A.},
    title = {Supporto alla Comunicazione Remota in MME 3},
    year = 1992
} 

 @techreport{pfcnr-4-70,
    address = {Rome, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = may,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/70,
    title = {{CSM} User's Guide},
    type = {Technical Report},
    year = 1992
}