Per tipo
@article{selforgcoord-fgcs114,
apice = {SelforgcoordFtgs114},
author = {Pianini, Danilo and Casadei, Roberto and Viroli, Mirko and Natali, Antonio},
doi = {10.1016/j.future.2020.07.032},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
keywords = {Coordination, Distributed systems, Design patterns, Self-organisation, Self-improving integration, Edge computing, Aggregate programming},
numpages = 25,
pages = {44--68},
publisher = {Elsevier Science B.V.},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
urlpdf = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775/pdfft},
volume = 114,
year = 2021
}
apice = {SelforgcoordFtgs114},
author = {Pianini, Danilo and Casadei, Roberto and Viroli, Mirko and Natali, Antonio},
doi = {10.1016/j.future.2020.07.032},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
keywords = {Coordination, Distributed systems, Design patterns, Self-organisation, Self-improving integration, Edge computing, Aggregate programming},
numpages = 25,
pages = {44--68},
publisher = {Elsevier Science B.V.},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
urlpdf = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775/pdfft},
volume = 114,
year = 2021
}
@article{mdsd-icset2010,
apice = {MdsdIcset2010},
author = {Natali, Antonio and Molesini, Ambra},
issn = {2070-3740},
journal = {World Academy of Science, Engineering and Technology},
month = apr,
note = {International Conference on Software Engineering and Technology (ICSET 2010), 28--30~} # apr # {~2010, Rome, Italy. Proceedings},
pages = {69--80},
publisher = {Academic Science Research},
title = {Towards Model-driven Communications},
urlpdf = {http://www.waset.org/journals/waset/v64/v64-13.pdf},
volume = 64,
year = 2010
}
apice = {MdsdIcset2010},
author = {Natali, Antonio and Molesini, Ambra},
issn = {2070-3740},
journal = {World Academy of Science, Engineering and Technology},
month = apr,
note = {International Conference on Software Engineering and Technology (ICSET 2010), 28--30~} # apr # {~2010, Rome, Italy. Proceedings},
pages = {69--80},
publisher = {Academic Science Research},
title = {Towards Model-driven Communications},
urlpdf = {http://www.waset.org/journals/waset/v64/v64-13.pdf},
volume = 64,
year = 2010
}
@article{oliva-adaptation-jucs14,
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect. On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space. As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow. The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
apice = {AdaptationJucs14},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
journal = {Journal of Universal Computer Science},
number = 13,
numpages = 24,
pages = {2158--2181},
title = {An Adaptation Logic Framework for Java-based Component Systems},
url = {https://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
venue = {JUCS},
volume = 14,
year = 2008
}
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect. On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space. As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow. The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
apice = {AdaptationJucs14},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
journal = {Journal of Universal Computer Science},
number = 13,
numpages = 24,
pages = {2158--2181},
title = {An Adaptation Logic Framework for Java-based Component Systems},
url = {https://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
venue = {JUCS},
volume = 14,
year = 2008
}
@article{compositional-is2000,
apice = {CompositionalIs2000},
author = {Moro, Gianluca and Natali, Antonio and Sartori, Claudio},
doi = {10.1016/S0306-4379(00)00023-5},
issn = {0306-4379},
journal = {Information Systems},
number = 5,
numpages = 25,
pages = {367--391},
publisher = {Elsevier BV},
title = {Compositional Algebra for Interactive Data Access},
volume = 25,
year = 2000
}
apice = {CompositionalIs2000},
author = {Moro, Gianluca and Natali, Antonio and Sartori, Claudio},
doi = {10.1016/S0306-4379(00)00023-5},
issn = {0306-4379},
journal = {Information Systems},
number = 5,
numpages = 25,
pages = {367--391},
publisher = {Elsevier BV},
title = {Compositional Algebra for Interactive Data Access},
volume = 25,
year = 2000
}
@article{generics-oopsla2000,
address = {New York, NY, USA},
apice = {GenericsOopsla2000},
author = {Viroli, Mirko and Natali, Antonio},
doi = {10.1145/354222.353182},
issn = {0362-1340},
journal = {ACM SIGPLAN Notices},
keywords = {Generics, parametric polymorphism, Java},
note = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2000), Minneapolis, MA, USA, 15-19},
number = 10,
numpages = 20,
pages = {146--165},
publisher = {ACM},
title = {Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature},
url = {353182},
volume = 35,
year = 2000
}
address = {New York, NY, USA},
apice = {GenericsOopsla2000},
author = {Viroli, Mirko and Natali, Antonio},
doi = {10.1145/354222.353182},
issn = {0362-1340},
journal = {ACM SIGPLAN Notices},
keywords = {Generics, parametric polymorphism, Java},
note = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2000), Minneapolis, MA, USA, 15-19},
number = 10,
numpages = 20,
pages = {146--165},
publisher = {ACM},
title = {Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature},
url = {353182},
volume = 35,
year = 2000
}
@article{extended-jlp1992,
apice = {ExtendedJlp1992},
author = {Evelina Lamma and Paola Mello and Natali, Antonio},
doi = {10.1016/0743-1066(92)90011-Q},
issn = {0743-1066},
journal = {The Journal of Logic Programming},
number = {3-4},
numpages = 36,
pages = {187--222},
publisher = {Elsevier BV},
title = {An Extended Warren Abstract Machine for the Execution of Structured Logic Programs},
volume = 14,
year = 1992
}
apice = {ExtendedJlp1992},
author = {Evelina Lamma and Paola Mello and Natali, Antonio},
doi = {10.1016/0743-1066(92)90011-Q},
issn = {0743-1066},
journal = {The Journal of Logic Programming},
number = {3-4},
numpages = 36,
pages = {187--222},
publisher = {Elsevier BV},
title = {An Extended Warren Abstract Machine for the Execution of Structured Logic Programs},
volume = 14,
year = 1992
}
@article{extending-ngc1992,
apice = {ExtendingNgc1992},
author = {Paola Mello and Natali, Antonio},
doi = {10.1007/BF03037943},
issn = {0288-3635},
journal = {New Generation Computing},
number = 4,
numpages = 25,
pages = {335--359},
publisher = {Springer Science and Business Media LLC},
title = {Extending Prolog with Modularity, Concurrency and Meta-Rules},
volume = 10,
year = 1992
}
apice = {ExtendingNgc1992},
author = {Paola Mello and Natali, Antonio},
doi = {10.1007/BF03037943},
issn = {0288-3635},
journal = {New Generation Computing},
number = 4,
numpages = 25,
pages = {335--359},
publisher = {Springer Science and Business Media LLC},
title = {Extending Prolog with Modularity, Concurrency and Meta-Rules},
volume = 10,
year = 1992
}
@article{reflection-spe1991,
apice = {ReflectionSpe1991},
author = {Evelina Lamma and Paola Mello and Natali, Antonio},
doi = {10.1002/spe.4380210605},
issn = {0038-0644},
journal = {Software: Practice and Experience},
number = 6,
numpages = 22,
pages = {603--624},
publisher = {Wiley},
title = {Reflection Mechanisms for Combining Prolog Databases},
volume = 21,
year = 1991
}
apice = {ReflectionSpe1991},
author = {Evelina Lamma and Paola Mello and Natali, Antonio},
doi = {10.1002/spe.4380210605},
issn = {0038-0644},
journal = {Software: Practice and Experience},
number = 6,
numpages = 22,
pages = {603--624},
publisher = {Wiley},
title = {Reflection Mechanisms for Combining Prolog Databases},
volume = 21,
year = 1991
}
@article{multiple-computer1984,
apice = {MultipleComputer1984},
author = {Maurelio Boari and Stefano Crespi-Reghizzi and Alberto Dasprá and Francesco Maderna and Natali, Antonio},
doi = {10.1109/MC.1984.1658931},
issn = {0018-9162},
journal = {Computer},
number = 1,
numpages = 13,
pages = {47--59},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
subtitle = {MML, a New Set of Tools},
title = {Multiple-Microprocessor Programming Techniques},
volume = 17,
year = 1984
}
apice = {MultipleComputer1984},
author = {Maurelio Boari and Stefano Crespi-Reghizzi and Alberto Dasprá and Francesco Maderna and Natali, Antonio},
doi = {10.1109/MC.1984.1658931},
issn = {0018-9162},
journal = {Computer},
number = 1,
numpages = 13,
pages = {47--59},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
subtitle = {MML, a New Set of Tools},
title = {Multiple-Microprocessor Programming Techniques},
volume = 17,
year = 1984
}
@article{iapx-mm1983,
apice = {IapxMm1983},
author = {Antonio Corradi and Natali, Antonio},
doi = {10.1016/0165-6074(83)90091-1},
issn = {0165-6074},
journal = {Microprocessing and Microprogramming},
number = {3-4},
numpages = 7,
pages = {159--165},
publisher = {Elsevier BV},
title = {Using the iAPX-432 system as a support for chill parallel constructs},
volume = 12,
year = 1983
}
apice = {IapxMm1983},
author = {Antonio Corradi and Natali, Antonio},
doi = {10.1016/0165-6074(83)90091-1},
issn = {0165-6074},
journal = {Microprocessing and Microprogramming},
number = {3-4},
numpages = 7,
pages = {159--165},
publisher = {Elsevier BV},
title = {Using the iAPX-432 system as a support for chill parallel constructs},
volume = 12,
year = 1983
}
@article{linguistic-spe1981,
apice = {LinguisticSpe1981},
author = {Paolo Ancilotti and Norma Lijtmaer and Maurelio Boari and Natali, Antonio},
doi = {10.1002/spe.4380110306},
issn = {0038-0644},
journal = {Software: Practice and Experience},
number = 3,
numpages = 24,
pages = {291--314},
publisher = {Wiley},
title = {Linguistic Mechanisms for Resource Management Strategies},
volume = 11,
year = 1981
}
apice = {LinguisticSpe1981},
author = {Paolo Ancilotti and Norma Lijtmaer and Maurelio Boari and Natali, Antonio},
doi = {10.1002/spe.4380110306},
issn = {0038-0644},
journal = {Software: Practice and Experience},
number = 3,
numpages = 24,
pages = {291--314},
publisher = {Wiley},
title = {Linguistic Mechanisms for Resource Management Strategies},
volume = 11,
year = 1981
}
@article{multiple-ipl1978,
apice = {MultipleIpl1978},
author = {Maurelio Boari and Natali, Antonio},
doi = {10.1016/0020-0190(78)90056-X},
issn = {0020-0190},
journal = {Information Processing Letters},
number = 2,
numpages = 10,
pages = {112--121},
publisher = {Elsevier BV},
title = {Multiple Access to a Tree in the Context of Readers and Writers Problem},
volume = 7,
year = 1978
}
apice = {MultipleIpl1978},
author = {Maurelio Boari and Natali, Antonio},
doi = {10.1016/0020-0190(78)90056-X},
issn = {0020-0190},
journal = {Information Processing Letters},
number = 2,
numpages = 10,
pages = {112--121},
publisher = {Elsevier BV},
title = {Multiple Access to a Tree in the Context of Readers and Writers Problem},
volume = 7,
year = 1978
}
@article{properties-ipl1976,
apice = {PropertiesIpl1976},
author = {Maurelio Boari and Natali, Antonio},
doi = {10.1016/0020-0190(76)90008-9},
issn = {0020-0190},
journal = {Information Processing Letters},
number = 4,
numpages = 6,
pages = {118--123},
publisher = {Elsevier BV},
title = {Some Properties of Deadlock Detection and Recovery in Readers and Writers Problems},
volume = 5,
year = 1976
}
apice = {PropertiesIpl1976},
author = {Maurelio Boari and Natali, Antonio},
doi = {10.1016/0020-0190(76)90008-9},
issn = {0020-0190},
journal = {Information Processing Letters},
number = 4,
numpages = 6,
pages = {118--123},
publisher = {Elsevier BV},
title = {Some Properties of Deadlock Detection and Recovery in Readers and Writers Problems},
volume = 5,
year = 1976
}
@inproceedings{self-organising-regions-coordination2019,
apice = {SelfOrganisingRegionsCoordination2019},
author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio},
booktitle = {Coordination Models and Languages, Proceedings},
doi = {10.1007/978-3-030-22397-7\_11},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
pages = {182--199},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
volume = 11533,
year = 2019
}
apice = {SelfOrganisingRegionsCoordination2019},
author = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko and Natali, Antonio},
booktitle = {Coordination Models and Languages, Proceedings},
doi = {10.1007/978-3-030-22397-7\_11},
editor = {Riis Nielson, Hanne and Tuosto, Emilio},
pages = {182--199},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
url = {https://doi.org/10.1007/978-3-030-22397-7\_11},
volume = 11533,
year = 2019
}
@inproceedings{modeldrivencomm-eclipseit2011,
address = {Milan, Italy},
apice = {ModeldrivencommEclipseit11},
author = {Natali, Antonio},
booktitle = {Proceedings of the 6th Workshop of the Italian Eclipse Community},
keywords = {Eclipse, IDE, Agent-Oriented Programming},
title = {Model-driven communications and collaborative software development},
url = {http://2011.eclipse-it.org/ProcEclipse-IT11/Technical/0115.pdf},
year = 2011
}
address = {Milan, Italy},
apice = {ModeldrivencommEclipseit11},
author = {Natali, Antonio},
booktitle = {Proceedings of the 6th Workshop of the Italian Eclipse Community},
keywords = {Eclipse, IDE, Agent-Oriented Programming},
title = {Model-driven communications and collaborative software development},
url = {http://2011.eclipse-it.org/ProcEclipse-IT11/Technical/0115.pdf},
year = 2011
}
@inproceedings{eclipseaop-eclipseit2011,
address = {Milan, Italy},
apice = {JacaEclipseit11},
author = {Santi, Andrea and Leardini, Andrea and Natali, Antonio and Ricci, Alessandro},
booktitle = {Proceedings of the 6th Workshop of the Italian Eclipse Community},
keywords = {Eclipse, IDE, Agent-Oriented Programming},
title = {Exploiting the {E}clipse Ecosystem for Agent-Oriented Programming},
url = {http://2011.eclipse-it.org/ProcEclipse-IT11/Technical/1818.pdf},
year = 2011
}
address = {Milan, Italy},
apice = {JacaEclipseit11},
author = {Santi, Andrea and Leardini, Andrea and Natali, Antonio and Ricci, Alessandro},
booktitle = {Proceedings of the 6th Workshop of the Italian Eclipse Community},
keywords = {Eclipse, IDE, Agent-Oriented Programming},
title = {Exploiting the {E}clipse Ecosystem for Agent-Oriented Programming},
url = {http://2011.eclipse-it.org/ProcEclipse-IT11/Technical/1818.pdf},
year = 2011
}
@inproceedings{dsl-eclipse2010,
address = {Savona, Italy},
apice = {DslEclipse2010},
author = {Natali, Antonio and Molesini, Ambra},
booktitle = {The 5th Workshop of the Italian Eclipse Community (Eclipse-IT 2010)},
isbn = {9788890438813},
month = {30~} # sep # {--1~} # oct,
publisher = {Eclipse Italian community},
title = {Using {D}omain {S}pecific {L}anguages for Platform-based Software Development: The Case of {A}ndroid},
url = {http://2010.eclipse-it.org/},
year = 2010
}
address = {Savona, Italy},
apice = {DslEclipse2010},
author = {Natali, Antonio and Molesini, Ambra},
booktitle = {The 5th Workshop of the Italian Eclipse Community (Eclipse-IT 2010)},
isbn = {9788890438813},
month = {30~} # sep # {--1~} # oct,
publisher = {Eclipse Italian community},
title = {Using {D}omain {S}pecific {L}anguages for Platform-based Software Development: The Case of {A}ndroid},
url = {http://2010.eclipse-it.org/},
year = 2010
}
@inproceedings{modeling-eclipseit08,
apice = {ModelingEclipseIt08},
author = {Natali, Antonio and Oliva, Enrico and Bonanni, Cristina},
booktitle = {Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies},
editor = {Lanubile, Filippo},
eissn = {1613-0073},
isbn = {978-88-902981-4-1},
month = nov,
pages = {48--57},
title = {Model-driven Generation of Graphical Maps for e-Contents},
urlpdf = {http://ceur-ws.org/Vol-436/paper6.pdf},
volume = 436,
year = 2008
}
apice = {ModelingEclipseIt08},
author = {Natali, Antonio and Oliva, Enrico and Bonanni, Cristina},
booktitle = {Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies},
editor = {Lanubile, Filippo},
eissn = {1613-0073},
isbn = {978-88-902981-4-1},
month = nov,
pages = {48--57},
title = {Model-driven Generation of Graphical Maps for e-Contents},
urlpdf = {http://ceur-ws.org/Vol-436/paper6.pdf},
volume = 436,
year = 2008
}
@inproceedings{elearning-eclipseit07,
apice = {ElearningEclipseIT07},
author = {Natali, Antonio and Del Cinque, Antonio and Oliva, Enrico},
booktitle = {Eclipse: a Great Opportunity for Industry and Universities in Italy},
editor = {Maresca, Paolo},
isbn = {978-88-87998-79-5},
month = oct,
note = {1st International Conference on Eclipse Technologies (Eclipse - I 2007), Napoli, Italy},
pages = {27--42},
publisher = {Cuzzolin Editore},
title = {Using {E}clipse in Building Model-driven e-Learning Supports},
volume = 1,
year = 2007
}
apice = {ElearningEclipseIT07},
author = {Natali, Antonio and Del Cinque, Antonio and Oliva, Enrico},
booktitle = {Eclipse: a Great Opportunity for Industry and Universities in Italy},
editor = {Maresca, Paolo},
isbn = {978-88-87998-79-5},
month = oct,
note = {1st International Conference on Eclipse Technologies (Eclipse - I 2007), Napoli, Italy},
pages = {27--42},
publisher = {Cuzzolin Editore},
title = {Using {E}clipse in Building Model-driven e-Learning Supports},
volume = 1,
year = 2007
}
@inproceedings{webservice-aica06,
address = {Cesena, Italy},
apice = {WebserviceAica06},
author = {Natali, Antonio and Del Cinque, Antonio and Casadei, Matteo},
booktitle = {Atti Congresso Annuale AICA 2006},
isbn = {88-6055-075-0},
month = {21--22~} # sep,
organization = {Associazione Italiana per l'Informatica ed il Calcolo Automatico},
pages = {461--471},
publisher = {Alinea Editrice, Firenze, Italy},
title = {L' Uso dei Web Service nella Catena del Valore della Logistica Integrata},
volume = 2,
year = 2006
}
address = {Cesena, Italy},
apice = {WebserviceAica06},
author = {Natali, Antonio and Del Cinque, Antonio and Casadei, Matteo},
booktitle = {Atti Congresso Annuale AICA 2006},
isbn = {88-6055-075-0},
month = {21--22~} # sep,
organization = {Associazione Italiana per l'Informatica ed il Calcolo Automatico},
pages = {461--471},
publisher = {Alinea Editrice, Firenze, Italy},
title = {L' Uso dei Web Service nella Catena del Valore della Logistica Integrata},
volume = 2,
year = 2006
}
@article{framework-foclasa06,
apice = {FrameworkFoclasa2005},
author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
doi = {10.1016/j.entcs.2005.12.032},
journal = {Electronic Notes in Theoretical Computer Science},
number = 1,
pages = {43--61},
series = {Electronic Notes in Theoretical Computer Science},
title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
url = {https://www.sciencedirect.com/science/article/pii/S1571066106001782},
volume = 154,
year = 2006
}
apice = {FrameworkFoclasa2005},
author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
doi = {10.1016/j.entcs.2005.12.032},
journal = {Electronic Notes in Theoretical Computer Science},
number = 1,
pages = {43--61},
series = {Electronic Notes in Theoretical Computer Science},
title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
url = {https://www.sciencedirect.com/science/article/pii/S1571066106001782},
volume = 154,
year = 2006
}
@inproceedings{simpademo-woa2006,
apice = {SimpawsWoa2006},
author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
booktitle = {From Objects to Agents},
dblp = {conf/woa/RicciBZNVO06},
editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
iris = {11585/30151},
issn = {1613-0073},
keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
lens = {096-408-075-649-085},
month = oct,
note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
numpages = 3,
openalex = {W130987204},
pages = {1--3},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84868642666},
series = {CEUR Workshop Proceedings},
title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
url = {https://ceur-ws.org/Vol-204/D01.pdf},
volume = 204,
year = 2006
}
apice = {SimpawsWoa2006},
author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
booktitle = {From Objects to Agents},
dblp = {conf/woa/RicciBZNVO06},
editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
iris = {11585/30151},
issn = {1613-0073},
keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
lens = {096-408-075-649-085},
month = oct,
note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
numpages = 3,
openalex = {W130987204},
pages = {1--3},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84868642666},
series = {CEUR Workshop Proceedings},
title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
url = {https://ceur-ws.org/Vol-204/D01.pdf},
volume = 204,
year = 2006
}
@inproceedings{event-seke2002,
apice = {EventSeke2002},
author = {Moro, Gianluca and Natali, Antonio},
booktitle = {Proceedings of the 14th international conference on Software engineering and knowledge engineering},
doi = {10.1145/568760.568816},
numpages = 8,
pages = {315--322},
publisher = {ACM},
title = {On the event coordination in multi-component systems},
year = 2002
}
apice = {EventSeke2002},
author = {Moro, Gianluca and Natali, Antonio},
booktitle = {Proceedings of the 14th international conference on Software engineering and knowledge engineering},
doi = {10.1145/568760.568816},
numpages = 8,
pages = {315--322},
publisher = {ACM},
title = {On the event coordination in multi-component systems},
year = 2002
}
@inproceedings{consistent-woa2000,
apice = {ConsistentWoa2000},
author = {Moro, Gianluca and Natali, Antonio and Viroli, Mirko},
booktitle = {WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 29-30 May 2000, Parma, Italy},
isbn = {88-371-1195-9},
numpages = 5,
pages = {47--51},
publisher = {Pitagora Editrice Bologna},
title = {On the Consistent Observation of Active Systems},
year = 2000
}
apice = {ConsistentWoa2000},
author = {Moro, Gianluca and Natali, Antonio and Viroli, Mirko},
booktitle = {WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 29-30 May 2000, Parma, Italy},
isbn = {88-371-1195-9},
numpages = 5,
pages = {47--51},
publisher = {Pitagora Editrice Bologna},
title = {On the Consistent Observation of Active Systems},
year = 2000
}
@inproceedings{data-coopis1998,
apice = {DataCoopis1998},
author = {Moro, Gianluca and Natali, Antonio and Sartori, Claudio},
booktitle = {Proceedings 3rd IFCIS International Conference on Cooperative Information Systems (Cat No 98EX122) COOPIS-98},
doi = {10.1109/COOPIS.1998.706196},
numpages = 10,
pages = {177--186},
publisher = {IEEE},
title = {Data Access Services and Automatic Generation of Cooperative Interfaces},
year = 1998
}
apice = {DataCoopis1998},
author = {Moro, Gianluca and Natali, Antonio and Sartori, Claudio},
booktitle = {Proceedings 3rd IFCIS International Conference on Cooperative Information Systems (Cat No 98EX122) COOPIS-98},
doi = {10.1109/COOPIS.1998.706196},
numpages = 10,
pages = {177--186},
publisher = {IEEE},
title = {Data Access Services and Automatic Generation of Cooperative Interfaces},
year = 1998
}
@inproceedings{respect-sac98,
acm = {330665},
apice = {RespectSac1998},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
core = {23047576},
dblp = {conf/sac/DentiNO98},
doi = {10.1145/330560.330665},
isbn = {0-89791-969-6},
lens = {147-094-505-050-523},
location = {Atlanta, GA, USA},
month = {27 } # feb # { -- 1 } # mar,
note = {Special Track on Coordination Models, Languages and Applications},
openalex = {W2001013228},
pages = {169--177},
publisher = {ACM},
scopus = {2-s2.0-85002410745},
title = {On the Expressive Power of a Language for Programming Coordination Media},
url = {330665},
urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
year = 1998
}
acm = {330665},
apice = {RespectSac1998},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
core = {23047576},
dblp = {conf/sac/DentiNO98},
doi = {10.1145/330560.330665},
isbn = {0-89791-969-6},
lens = {147-094-505-050-523},
location = {Atlanta, GA, USA},
month = {27 } # feb # { -- 1 } # mar,
note = {Special Track on Coordination Models, Languages and Applications},
openalex = {W2001013228},
pages = {169--177},
publisher = {ACM},
scopus = {2-s2.0-85002410745},
title = {On the Expressive Power of a Language for Programming Coordination Media},
url = {330665},
urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
year = 1998
}
@incollection{respect-coord97,
acm = {713152},
apice = {RespectCoord97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Coordination Languages and Models},
core = {100176399},
dblp = {conf/coordination/DentiNO97},
doi = {10.1007/3-540-63383-9_86},
editor = {Garlan, David and Le Métayer, Daniel},
eisbn = {978-3-540-69527-1},
isbn = {978-3-540-63383-9},
isbn10 = {3-540-63383-9},
issn = {0302-9743},
keywords = {Coordination Models, Programmable Coordination Media, Reactions, Tuple Spaces, Multi-Agent Systems},
lens = {035-937-639-469-09X},
note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
openalex = {W1821716322},
pages = {274--288},
publisher = {Springer-Verlag},
scopus = {2-s2.0-84957066558},
series = {Lecture Notes in Computer Science},
title = {Programmable Coordination Media},
url = {https://link.springer.com/10.1007/3-540-63383-9_86},
volume = 1282,
year = 1997
}
acm = {713152},
apice = {RespectCoord97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Coordination Languages and Models},
core = {100176399},
dblp = {conf/coordination/DentiNO97},
doi = {10.1007/3-540-63383-9_86},
editor = {Garlan, David and Le Métayer, Daniel},
eisbn = {978-3-540-69527-1},
isbn = {978-3-540-63383-9},
isbn10 = {3-540-63383-9},
issn = {0302-9743},
keywords = {Coordination Models, Programmable Coordination Media, Reactions, Tuple Spaces, Multi-Agent Systems},
lens = {035-937-639-469-09X},
note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
openalex = {W1821716322},
pages = {274--288},
publisher = {Springer-Verlag},
scopus = {2-s2.0-84957066558},
series = {Lecture Notes in Computer Science},
title = {Programmable Coordination Media},
url = {https://link.springer.com/10.1007/3-540-63383-9_86},
volume = 1282,
year = 1997
}
@inproceedings{lpcoord-iclp_lpinternet97,
address = {Leuven, Belgium},
apice = {LpcoordIclp97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications},
editor = {De Bosschere, Koen and Hermenegildo, Manuel and Tarau, Paul},
lens = {077-948-422-216-371},
month = {11~} # jul,
openalex = {W97291671},
pages = {117--128},
title = {Merging {L}ogic {P}rogramming into {W}eb-based Technology: A Coordination-based Approach},
url = {https://cliplab.org/lpnet/proceedings97/denti/denti.html},
urlpdf = {https://cliplab.org/lpnet/proceedings97/denti.ps},
year = 1997
}
address = {Leuven, Belgium},
apice = {LpcoordIclp97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications},
editor = {De Bosschere, Koen and Hermenegildo, Manuel and Tarau, Paul},
lens = {077-948-422-216-371},
month = {11~} # jul,
openalex = {W97291671},
pages = {117--128},
title = {Merging {L}ogic {P}rogramming into {W}eb-based Technology: A Coordination-based Approach},
url = {https://cliplab.org/lpnet/proceedings97/denti/denti.html},
urlpdf = {https://cliplab.org/lpnet/proceedings97/denti.ps},
year = 1997
}
@incollection{aclt-frocos96,
apice = {AcltFrocos1996},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
booktitle = {Frontiers of Combining Systems},
dblp = {conf/frocos/DentiNOV96},
doi = {10.1007/978-94-009-0349-4_12},
editor = {Baader, Franz and Schulz, Klaus U.},
eisbn = {978-94-009-0349-4},
iris = {11585/951322},
isbn = {978-94-010-6643-3},
isbn10 = {0-7923-4271-2},
issn = {1386-2790},
lens = {018-591-725-841-079},
note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
numpages = 14,
openalex = {W1596754786},
pages = {147--160},
publisher = {Kluwer Academic Publishers},
series = {Applied Logic Series},
title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
url = {https://link.springer.com/10.1007/978-94-009-0349-4_12},
volume = 3,
wos = {WOS:A1996BH48J00012},
year = 1996
}
apice = {AcltFrocos1996},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
booktitle = {Frontiers of Combining Systems},
dblp = {conf/frocos/DentiNOV96},
doi = {10.1007/978-94-009-0349-4_12},
editor = {Baader, Franz and Schulz, Klaus U.},
eisbn = {978-94-009-0349-4},
iris = {11585/951322},
isbn = {978-94-010-6643-3},
isbn10 = {0-7923-4271-2},
issn = {1386-2790},
lens = {018-591-725-841-079},
note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
numpages = 14,
openalex = {W1596754786},
pages = {147--160},
publisher = {Kluwer Academic Publishers},
series = {Applied Logic Series},
title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
url = {https://link.springer.com/10.1007/978-94-009-0349-4_12},
volume = 3,
wos = {WOS:A1996BH48J00012},
year = 1996
}
@inproceedings{ooplanning-aiia96,
address = {Napoli, Italy},
apice = {OoplanningAixia1996},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {AI*IA'96 Workshop ``Pianificazione di azioni robotiche in ambienti complessi''},
month = {26--28~} # sep,
pages = {265--268},
publisher = {Associazione Italiana per l'Intelligenza Artificiale},
title = {Integrating Knowledge Acquisition in Plan Selection},
year = 1996
}
address = {Napoli, Italy},
apice = {OoplanningAixia1996},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {AI*IA'96 Workshop ``Pianificazione di azioni robotiche in ambienti complessi''},
month = {26--28~} # sep,
pages = {265--268},
publisher = {Associazione Italiana per l'Intelligenza Artificiale},
title = {Integrating Knowledge Acquisition in Plan Selection},
year = 1996
}
@incollection{aclt-coord96,
acm = {713129},
apice = {AcltCoord1996},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
booktitle = {Coordination Languages and Models},
dblp = {conf/coordination/DentiNOV96},
doi = {10.1007/3-540-61052-9_53},
editor = {Ciancarini, Paolo and Hankin, Chris},
eisbn = {978-3-540-49936-7},
isbn = {978-3-540-61052-6},
isbn10 = {3-540-61052-9},
issn = {0302-9743},
lens = {127-140-598-728-178},
month = sep,
note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
openalex = {W2009603287},
pages = {305--320},
publisher = {Springer},
scopus = {2-s2.0-84958743149},
series = {Lecture Notes in Computer Science},
title = {An Extensible Framework for the Development of Coordinated Applications},
url = {https://link.springer.com/10.1007/3-540-61052-9_53},
volume = 1061,
year = 1996
}
acm = {713129},
apice = {AcltCoord1996},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
booktitle = {Coordination Languages and Models},
dblp = {conf/coordination/DentiNOV96},
doi = {10.1007/3-540-61052-9_53},
editor = {Ciancarini, Paolo and Hankin, Chris},
eisbn = {978-3-540-49936-7},
isbn = {978-3-540-61052-6},
isbn10 = {3-540-61052-9},
issn = {0302-9743},
lens = {127-140-598-728-178},
month = sep,
note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
openalex = {W2009603287},
pages = {305--320},
publisher = {Springer},
scopus = {2-s2.0-84958743149},
series = {Lecture Notes in Computer Science},
title = {An Extensible Framework for the Development of Coordinated Applications},
url = {https://link.springer.com/10.1007/3-540-61052-9_53},
volume = 1061,
year = 1996
}
@inproceedings{ooplanning-fapr96,
address = {Darmstadt, Germany},
apice = {OoplanningFapr96},
author = {Fonda, Umberto and Natali, Antonio and Omicini, Andrea},
booktitle = {FAPR'96 Workshop ``Reasoning about Actions and Planning in Complex Environments''},
editor = {Sigmund, Ute C. and Thielscher, Michael},
month = {4~} # jun,
pages = {III:1--III:8},
publisher = {Technical Hochschule Darmstadt},
title = {An Object-Oriented Approach to Planning},
year = 1996
}
address = {Darmstadt, Germany},
apice = {OoplanningFapr96},
author = {Fonda, Umberto and Natali, Antonio and Omicini, Andrea},
booktitle = {FAPR'96 Workshop ``Reasoning about Actions and Planning in Complex Environments''},
editor = {Sigmund, Ute C. and Thielscher, Michael},
month = {4~} # jun,
pages = {III:1--III:8},
publisher = {Technical Hochschule Darmstadt},
title = {An Object-Oriented Approach to Planning},
year = 1996
}
@inproceedings{aclt-aiia95,
acm = {761273},
apice = {AcltAiixa95},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
core = {21260299},
dblp = {conf/aiia/OmiciniDN95},
doi = {10.1007/3-540-60437-5_43},
editor = {Gori, Marco and Soda, Giovanni},
eisbn = {3-540-60437-5},
iris = {11585/953879},
isbn = {978-3-540-60437-2},
isbn10 = {3-540-60437-5},
issn = {0302-9743},
lens = {196-368-143-391-63X},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
numpages = 12,
openalex = {W1530491305},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {Lecture Notes in Artificial Intelligence},
title = {Agent Coordination and Control through Logic Theories},
url = {https://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {WOS:A1995BF24X00043},
year = 1995
}
acm = {761273},
apice = {AcltAiixa95},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
core = {21260299},
dblp = {conf/aiia/OmiciniDN95},
doi = {10.1007/3-540-60437-5_43},
editor = {Gori, Marco and Soda, Giovanni},
eisbn = {3-540-60437-5},
iris = {11585/953879},
isbn = {978-3-540-60437-2},
isbn10 = {3-540-60437-5},
issn = {0302-9743},
lens = {196-368-143-391-63X},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
numpages = 12,
openalex = {W1530491305},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {Lecture Notes in Artificial Intelligence},
title = {Agent Coordination and Control through Logic Theories},
url = {https://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {WOS:A1995BF24X00043},
year = 1995
}
@inproceedings{lprobot-pap94,
apice = {LprobotPap94},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
editor = {Sterling, Leon},
location = {London, UK},
month = {26--29~} # apr,
pages = {187--206},
title = {A Structured Logic Programming Approach to Robot Programming},
year = 1994
}
apice = {LprobotPap94},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
editor = {Sterling, Leon},
location = {London, UK},
month = {26--29~} # apr,
pages = {187--206},
title = {A Structured Logic Programming Approach to Robot Programming},
year = 1994
}
@inproceedings{lprobot-icra94,
apice = {LprobotIcra94},
author = {Zanichelli, Francesco and Caselli, Stefano and Natali, Antonio and Omicini, Andrea},
booktitle = {1994 IEEE International Conference on Robotics and Automation (ICRA'94)},
core = {217746975},
dblp = {conf/icra/ZanichelliCNO94},
doi = {10.1109/ROBOT.1994.351032},
ieee = {351032},
iris = {11585/951124},
isbn = {0-8186-5330-2},
issn = {1050-4729},
lens = {091-617-285-538-825},
location = {San Diego, CA, USA},
month = {8--13~} # may,
openalex = {W1832945096},
pages = {3501--3507},
publisher = {IEEE CS},
scopus = {2-s2.0-0028134395},
title = {A Multi-Agent Framework and Programming Environment for Autonomous Robotics},
volume = 4,
wos = {WOS:A1994BA72M00521},
year = 1994
}
apice = {LprobotIcra94},
author = {Zanichelli, Francesco and Caselli, Stefano and Natali, Antonio and Omicini, Andrea},
booktitle = {1994 IEEE International Conference on Robotics and Automation (ICRA'94)},
core = {217746975},
dblp = {conf/icra/ZanichelliCNO94},
doi = {10.1109/ROBOT.1994.351032},
ieee = {351032},
iris = {11585/951124},
isbn = {0-8186-5330-2},
issn = {1050-4729},
lens = {091-617-285-538-825},
location = {San Diego, CA, USA},
month = {8--13~} # may,
openalex = {W1832945096},
pages = {3501--3507},
publisher = {IEEE CS},
scopus = {2-s2.0-0028134395},
title = {A Multi-Agent Framework and Programming Environment for Autonomous Robotics},
volume = 4,
wos = {WOS:A1994BA72M00521},
year = 1994
}
@inproceedings{oolp-ecoop94,
acm = {646152.679515},
apice = {OolpEcoop94},
author = {Omicini, Andrea and Natali, Antonio},
booktitle = {Object-Oriented Programming},
dblp = {conf/ecoop/OmiciniN94},
doi = {10.1007/BFb0052184},
editor = {Tokoro, Mario and Pareschi, Remo},
isbn = {3-540-58202-9},
issn = {0302-9743},
keywords = {Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints},
lens = {168-002-906-588-798},
note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
openalex = {W1590554478},
pages = {194--212},
publisher = {Springer-Verlag},
scopus = {2-s2.0-21344495678},
series = {Lecture Notes in Computer Science},
title = {Object-Oriented Computations in Logic Programming},
url = {https://link.springer.com/10.1007/BFb0052184},
volume = 821,
year = 1994
}
acm = {646152.679515},
apice = {OolpEcoop94},
author = {Omicini, Andrea and Natali, Antonio},
booktitle = {Object-Oriented Programming},
dblp = {conf/ecoop/OmiciniN94},
doi = {10.1007/BFb0052184},
editor = {Tokoro, Mario and Pareschi, Remo},
isbn = {3-540-58202-9},
issn = {0302-9743},
keywords = {Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints},
lens = {168-002-906-588-798},
note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
openalex = {W1590554478},
pages = {194--212},
publisher = {Springer-Verlag},
scopus = {2-s2.0-21344495678},
series = {Lecture Notes in Computer Science},
title = {Object-Oriented Computations in Logic Programming},
url = {https://link.springer.com/10.1007/BFb0052184},
volume = 821,
year = 1994
}
@inproceedings{oolp-iclp_piselp93,
address = {Budapest, Hungary},
apice = {OolpIclp93},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
editor = {Tick, Evan},
month = {25~} # jun,
note = {CIS-TR-93-12},
numpages = 11,
publisher = {Department of Computer and Information Science, University of Oregon},
title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
year = 1993
}
address = {Budapest, Hungary},
apice = {OolpIclp93},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
editor = {Tick, Evan},
month = {25~} # jun,
note = {CIS-TR-93-12},
numpages = 11,
publisher = {Department of Computer and Information Science, University of Oregon},
title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
year = 1993
}
@inproceedings{oolp-compulog93,
address = {Pisa, Italy},
apice = {OolpCompulog93},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {2nd Compulog Network Area Meeting on Programming Languages joint with Workshop on Logic Languages},
month = {6--7~} # may,
pages = {1--2},
title = {Objects with State in {CSM}},
year = 1993
}
address = {Pisa, Italy},
apice = {OolpCompulog93},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {2nd Compulog Network Area Meeting on Programming Languages joint with Workshop on Logic Languages},
month = {6--7~} # may,
pages = {1--2},
title = {Objects with State in {CSM}},
year = 1993
}
@incollection{ctxlp-elpIII,
acm = {736334},
apice = {CtxElpIII},
author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {Extensions of Logic Programming},
dblp = {conf/elp/DentiLMNO92},
doi = {10.1007/3-540-56454-3_17},
editor = {Lamma, Evelina and Mello, Paola},
eisbn = {978-3-540-47562-0},
eissn = {1611-3349},
isbn = {978-3-540-56454-6},
isbn10 = {3-540-56454-3},
issn = {0302-9743},
keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
lens = {084-134-586-083-676},
note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
openalex = {W1511030248},
pages = {339--358},
publisher = {Springer},
scopus = {2-s2.0-85028860344},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Techniques for Implementing Contexts in {L}ogic {P}rogramming},
url = {https://link.springer.com/10.1007/3-540-56454-3_17},
volume = 660,
year = 1993
}
acm = {736334},
apice = {CtxElpIII},
author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {Extensions of Logic Programming},
dblp = {conf/elp/DentiLMNO92},
doi = {10.1007/3-540-56454-3_17},
editor = {Lamma, Evelina and Mello, Paola},
eisbn = {978-3-540-47562-0},
eissn = {1611-3349},
isbn = {978-3-540-56454-6},
isbn10 = {3-540-56454-3},
issn = {0302-9743},
keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
lens = {084-134-586-083-676},
note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
openalex = {W1511030248},
pages = {339--358},
publisher = {Springer},
scopus = {2-s2.0-85028860344},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Techniques for Implementing Contexts in {L}ogic {P}rogramming},
url = {https://link.springer.com/10.1007/3-540-56454-3_17},
volume = 660,
year = 1993
}
@inproceedings{lprobot-gulp93,
address = {Gizzeria Lido, CZ, Italy},
apice = {LprobotGulp93},
author = {Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {8th Italian Conference on Logic Programming (GULP'93)},
dblp = {conf/agp/NataliOZ93},
editor = {Saccà, Domenico},
lens = {085-578-749-300-094},
month = {15--18~} # jun,
openalex = {W103831470},
pages = {535--548},
publisher = {Mediterranean Press, Rende, CS, Italy},
title = {Exploiting {L}ogic {P}rogramming in Robot Applications},
year = 1993
}
address = {Gizzeria Lido, CZ, Italy},
apice = {LprobotGulp93},
author = {Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {8th Italian Conference on Logic Programming (GULP'93)},
dblp = {conf/agp/NataliOZ93},
editor = {Saccà, Domenico},
lens = {085-578-749-300-094},
month = {15--18~} # jun,
openalex = {W103831470},
pages = {535--548},
publisher = {Mediterranean Press, Rende, CS, Italy},
title = {Exploiting {L}ogic {P}rogramming in Robot Applications},
year = 1993
}
@inproceedings{development-ismis1993,
apice = {DevelopmentIsmis1993},
author = {Stefano Caselli and Natali, Antonio and Francesco Zanichelli},
booktitle = {Methodologies for Intelligent Systems},
doi = {10.1007/3-540-56804-2_46},
isbn = {9783540568049},
issn = {0302-9743},
numpages = 12,
pages = {496--507},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Development of a Programming Environment for Intelligent Robotics},
year = 1993
}
apice = {DevelopmentIsmis1993},
author = {Stefano Caselli and Natali, Antonio and Francesco Zanichelli},
booktitle = {Methodologies for Intelligent Systems},
doi = {10.1007/3-540-56804-2_46},
isbn = {9783540568049},
issn = {0302-9743},
numpages = 12,
pages = {496--507},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Development of a Programming Environment for Intelligent Robotics},
year = 1993
}
@incollection{oolp-plilp93,
acm = {692617},
apice = {OolpPlilp93},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {Programming Language Implementation and Logic Programming},
dblp = {conf/plilp/NataliO93},
doi = {10.1007/3-540-57186-8_81},
editor = {Bruynooghe, Maurice and Penjam, Jaan},
eisbn = {978-3-540-47945-1},
isbn = {978-3-540-57186-5},
isbn10 = {3-540-57186-8},
issn = {0302-9743},
lens = {183-390-091-904-358},
note = {5th International Symposium (PLILP'93), Tallinn, Estonia, 25--27~} # aug # {~1993. Proceedings},
numpages = 15,
openalex = {W1567130207},
pages = {220--234},
publisher = {Springer-Verlag},
scopus = {2-s2.0-21144462602},
series = {Lecture Notes in Computer Science},
title = {Objects with State in {C}ontextual {L}ogic {P}rogramming},
url = {https://link.springer.com/10.1007/3-540-57186-8_81},
volume = 714,
year = 1993
}
acm = {692617},
apice = {OolpPlilp93},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {Programming Language Implementation and Logic Programming},
dblp = {conf/plilp/NataliO93},
doi = {10.1007/3-540-57186-8_81},
editor = {Bruynooghe, Maurice and Penjam, Jaan},
eisbn = {978-3-540-47945-1},
isbn = {978-3-540-57186-5},
isbn10 = {3-540-57186-8},
issn = {0302-9743},
lens = {183-390-091-904-358},
note = {5th International Symposium (PLILP'93), Tallinn, Estonia, 25--27~} # aug # {~1993. Proceedings},
numpages = 15,
openalex = {W1567130207},
pages = {220--234},
publisher = {Springer-Verlag},
scopus = {2-s2.0-21144462602},
series = {Lecture Notes in Computer Science},
title = {Objects with State in {C}ontextual {L}ogic {P}rogramming},
url = {https://link.springer.com/10.1007/3-540-57186-8_81},
volume = 714,
year = 1993
}
@inproceedings{ctxlp-gulp92,
apice = {CtxlpGulp92},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
editor = {Costantini, Stefania},
lens = {037-141-965-224-660},
location = {Tremezzo, Como, Italy},
month = {17--19 } # jun,
openalex = {W115270588},
pages = {307--320},
publisher = {Città Studi, Milano, Italy},
title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
year = 1992
}
apice = {CtxlpGulp92},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
editor = {Costantini, Stefania},
lens = {037-141-965-224-660},
location = {Tremezzo, Como, Italy},
month = {17--19 } # jun,
openalex = {W115270588},
pages = {307--320},
publisher = {Città Studi, Milano, Italy},
title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
year = 1992
}
@inproceedings{ctxlp-elp92,
address = {Bologna, Italy},
apice = {CtxlpElp92},
author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
editor = {Lamma, Evelina and Mello, Paola},
lens = {185-839-158-560-28X},
month = {26--28~} # feb,
note = {Pre-proceedings},
openalex = {W74082275},
pages = {145--170},
publisher = {Tecnoprint Bologna},
title = {Implementing Contexts in {L}ogic {P}rogramming},
year = 1992
}
address = {Bologna, Italy},
apice = {CtxlpElp92},
author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
editor = {Lamma, Evelina and Mello, Paola},
lens = {185-839-158-560-28X},
month = {26--28~} # feb,
note = {Pre-proceedings},
openalex = {W74082275},
pages = {145--170},
publisher = {Tecnoprint Bologna},
title = {Implementing Contexts in {L}ogic {P}rogramming},
year = 1992
}
@inproceedings{oolp-compulog92,
address = {Pisa, Italy},
apice = {OolpCompulog92},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {1st COMPULOG NET Workshop on Programming Languages in Computational Logic},
editor = {Brogi, Antonio and Mancarella, Paolo and Turini, Franco},
month = {6--7~} # apr,
note = {Extended Abstract},
publisher = {Dipartimento di Informatica, Università di Pisa},
title = {Objects as Evolving Contexts},
year = 1992
}
address = {Pisa, Italy},
apice = {OolpCompulog92},
author = {Natali, Antonio and Omicini, Andrea},
booktitle = {1st COMPULOG NET Workshop on Programming Languages in Computational Logic},
editor = {Brogi, Antonio and Mancarella, Paolo and Turini, Franco},
month = {6--7~} # apr,
note = {Extended Abstract},
publisher = {Dipartimento di Informatica, Università di Pisa},
title = {Objects as Evolving Contexts},
year = 1992
}
@inproceedings{logic-naclp1989,
apice = {LogicNaclp1989},
author = {Paola Mello and Natali, Antonio and Cristina Ruggieri},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
isbn = {0-262-62064-2},
numpages = 18,
pages = {441--458},
publisher = {MIT Press},
title = {Logic Programming in a Software Engineering Perspective},
year = 1989
}
apice = {LogicNaclp1989},
author = {Paola Mello and Natali, Antonio and Cristina Ruggieri},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
isbn = {0-262-62064-2},
numpages = 18,
pages = {441--458},
publisher = {MIT Press},
title = {Logic Programming in a Software Engineering Perspective},
year = 1989
}
@inproceedings{design-iclp1989,
apice = {DesignIclp1989},
author = {Evelina Lamma and Paola Mello and Natali, Antonio},
booktitle = {Logic Programming, Proceedings of the 6th International Conference, Lisbon, Portugal, June 19-23, 1989},
isbn = {0-262-62065-0},
numpages = 15,
pages = {303--317},
publisher = {MIT Press},
title = {The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming},
year = 1989
}
apice = {DesignIclp1989},
author = {Evelina Lamma and Paola Mello and Natali, Antonio},
booktitle = {Logic Programming, Proceedings of the 6th International Conference, Lisbon, Portugal, June 19-23, 1989},
isbn = {0-262-62065-0},
numpages = 15,
pages = {303--317},
publisher = {MIT Press},
title = {The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming},
year = 1989
}
@inproceedings{meta-meta1988,
apice = {MetaMeta1988},
author = {Marco Cavalieri and Evelina Lamma and Paola Mello and Natali, Antonio},
booktitle = {META 1988},
numpages = 17,
pages = {399--415},
subtitle = {Comparison with Meta-Interpretation Techniques},
title = {Meta-Programming in Prolog Through Direct Introspection},
year = 1988
}
apice = {MetaMeta1988},
author = {Marco Cavalieri and Evelina Lamma and Paola Mello and Natali, Antonio},
booktitle = {META 1988},
numpages = 17,
pages = {399--415},
subtitle = {Comparison with Meta-Interpretation Techniques},
title = {Meta-Programming in Prolog Through Direct Introspection},
year = 1988
}
@inproceedings{objects-ecoop1987,
apice = {ObjectsEcoop1987},
author = {Paola Mello and Natali, Antonio},
booktitle = {ECOOP'87 European Conference on Object-Oriented Programming},
doi = {10.1007/3-540-47891-4_17},
isbn = {978-3-540-18353-2},
numpages = 11,
pages = {181--191},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Objects as Communicating Prolog Units},
volume = 276,
year = 1987
}
apice = {ObjectsEcoop1987},
author = {Paola Mello and Natali, Antonio},
booktitle = {ECOOP'87 European Conference on Object-Oriented Programming},
doi = {10.1007/3-540-47891-4_17},
isbn = {978-3-540-18353-2},
numpages = 11,
pages = {181--191},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Objects as Communicating Prolog Units},
volume = 276,
year = 1987
}
@inproceedings{programs-esop1986,
apice = {ProgramsEsop1986},
author = {Paola Mello and Natali, Antonio},
booktitle = {ESOP 86},
doi = {10.1007/3-540-16442-1_21},
isbn = {9783540164425},
issn = {0302-9743},
numpages = 15,
pages = {274--288},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Programs as Collections of Communicating Prolog Units},
year = 1986
}
apice = {ProgramsEsop1986},
author = {Paola Mello and Natali, Antonio},
booktitle = {ESOP 86},
doi = {10.1007/3-540-16442-1_21},
isbn = {9783540164425},
issn = {0302-9743},
numpages = 15,
pages = {274--288},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Programs as Collections of Communicating Prolog Units},
year = 1986
}
@inproceedings{implementation-kivs1983,
apice = {ImplementationKivs1983},
author = {Antonio Corradi and Natali, Antonio},
booktitle = {Kommunikation in Verteilten Systemen — Anwendungen und Betrieb},
doi = {10.1007/978-3-642-68829-4_33},
isbn = {9783540119821},
issn = {0343-3005},
numpages = 14,
pages = {588--601},
publisher = {Springer Berlin Heidelberg},
series = {Informatik-Fachberichte},
title = {An Implementation of Rendez-Vous in Distributed Systems},
year = 1983
}
apice = {ImplementationKivs1983},
author = {Antonio Corradi and Natali, Antonio},
booktitle = {Kommunikation in Verteilten Systemen — Anwendungen und Betrieb},
doi = {10.1007/978-3-642-68829-4_33},
isbn = {9783540119821},
issn = {0343-3005},
numpages = 14,
pages = {588--601},
publisher = {Springer Berlin Heidelberg},
series = {Informatik-Fachberichte},
title = {An Implementation of Rendez-Vous in Distributed Systems},
year = 1983
}
@inproceedings{mml-icdcs1982,
apice = {MmlIcdcs1982},
author = {Maurelio Boari and Stefano Crespi-Reghizzi and Alberto Dasprá and Natali, Antonio},
booktitle = {International Conference on Distributed Computing Systems (ICDCS 1982)},
numpages = 9,
pages = {680--688},
title = {MML: A programming line for multiple-microprocessors systems},
year = 1982
}
apice = {MmlIcdcs1982},
author = {Maurelio Boari and Stefano Crespi-Reghizzi and Alberto Dasprá and Natali, Antonio},
booktitle = {International Conference on Distributed Computing Systems (ICDCS 1982)},
numpages = 9,
pages = {680--688},
title = {MML: A programming line for multiple-microprocessors systems},
year = 1982
}
@incollection{lpse-cnr95,
address = {Milano, Italy},
apice = {LpseCnr95},
author = {Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {Ambienti per linguaggi di nuova concezione},
editor = {Filè, Gilberto},
isbn = {88-204-9515-5},
pages = {17--46},
publisher = {Franco Angeli},
series = {Collana CNR/PF ``Sistemi Informatici e Calcolo Parallelo'' (1418)},
title = {La programmazione logica nello sviluppo del software: dai modelli agli strumenti},
volume = 4,
year = 1995
}
address = {Milano, Italy},
apice = {LpseCnr95},
author = {Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {Ambienti per linguaggi di nuova concezione},
editor = {Filè, Gilberto},
isbn = {88-204-9515-5},
pages = {17--46},
publisher = {Franco Angeli},
series = {Collana CNR/PF ``Sistemi Informatici e Calcolo Parallelo'' (1418)},
title = {La programmazione logica nello sviluppo del software: dai modelli agli strumenti},
volume = 4,
year = 1995
}
@incollection{lprobot-scsai95,
apice = {LprobotScsai95},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {Logic Programming: Formal Methods and Practical Applications},
chapter = 12,
dblp = {books/el/beierleP95/DentiNOZ95},
editor = {Beierle, Christoph and Plümer, Lutz},
isbn = {978-0-444-82092-1},
isbn10 = {0-444-82092-2},
lens = {161-703-407-666-269},
openalex = {W35266853},
pages = {343--379},
publisher = {Elsevier},
scopus = {2-s2.0-85023302187},
series = {Studies in Computer Science and Artificial Intelligence},
title = {Robot Control Systems as Contextual Logic Programs},
volume = 11,
year = 1995
}
apice = {LprobotScsai95},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {Logic Programming: Formal Methods and Practical Applications},
chapter = 12,
dblp = {books/el/beierleP95/DentiNOZ95},
editor = {Beierle, Christoph and Plümer, Lutz},
isbn = {978-0-444-82092-1},
isbn10 = {0-444-82092-2},
lens = {161-703-407-666-269},
openalex = {W35266853},
pages = {343--379},
publisher = {Elsevier},
scopus = {2-s2.0-85023302187},
series = {Studies in Computer Science and Artificial Intelligence},
title = {Robot Control Systems as Contextual Logic Programs},
volume = 11,
year = 1995
}
@incollection{oolp-ilps94,
apice = {OolpIlps94},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Implementations of Logic Programming Systems},
dblp = {conf/iclp/DentiNO93},
doi = {10.1007/978-1-4615-2690-2_7},
editor = {Tick, Evan and Succi, Giancarlo},
eisbn = {978-1-4615-2690-2},
eissn = {978-1-4615-2690-2},
iris = {11585/951126},
isbn = {978-1-4613-6157-2},
isbn10 = {0-7923-9457-7},
issn = {978-1-4613-6157-2},
keywords = {contextual logic programming; modules; structured theories},
lens = {117-110-411-608-492},
openalex = {W1570546230},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {https://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {WOS:A1994BB31B00007},
year = 1994
}
apice = {OolpIlps94},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Implementations of Logic Programming Systems},
dblp = {conf/iclp/DentiNO93},
doi = {10.1007/978-1-4615-2690-2_7},
editor = {Tick, Evan and Succi, Giancarlo},
eisbn = {978-1-4615-2690-2},
eissn = {978-1-4615-2690-2},
iris = {11585/951126},
isbn = {978-1-4613-6157-2},
isbn10 = {0-7923-9457-7},
issn = {978-1-4613-6157-2},
keywords = {contextual logic programming; modules; structured theories},
lens = {117-110-411-608-492},
openalex = {W1570546230},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {https://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {WOS:A1994BB31B00007},
year = 1994
}
@book{nmis09,
address = {Bologna, Italy},
apice = {NMis09},
author = {Natali, Antonio and Molesini, Ambra},
isbn = {9788874883349},
month = {November},
note = {second edition},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Costruire sistemi software: dai modelli al codice},
year = 2009
}
address = {Bologna, Italy},
apice = {NMis09},
author = {Natali, Antonio and Molesini, Ambra},
isbn = {9788874883349},
month = {November},
note = {second edition},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Costruire sistemi software: dai modelli al codice},
year = 2009
}
@book{ing-soft08,
address = {Bologna, Italy},
apice = {IngSoft08},
author = {Natali, Antonio and Molesini, Ambra},
isbn = {9788874882007},
month = {November},
note = {Didactic publication},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {La costruzione dei sistemi software: dai modelli al codice},
year = 2008
}
address = {Bologna, Italy},
apice = {IngSoft08},
author = {Natali, Antonio and Molesini, Ambra},
isbn = {9788874882007},
month = {November},
note = {Didactic publication},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {La costruzione dei sistemi software: dai modelli al codice},
year = 2008
}
@book{cal-eletIII,
address = {Bologna, Italy},
apice = {CalEletIII},
author = {Denti, Enrico and Natali, Antonio},
isbn = {88-371-0771-4},
note = {Teaching material},
publisher = {Pitagora Editrice},
series = {Consorzio Nettuno},
title = {Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti},
year = 1995
}
address = {Bologna, Italy},
apice = {CalEletIII},
author = {Denti, Enrico and Natali, Antonio},
isbn = {88-371-0771-4},
note = {Teaching material},
publisher = {Pitagora Editrice},
series = {Consorzio Nettuno},
title = {Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti},
year = 1995
}
@techreport{aclt-techrep97,
address = {Bologna, Italy},
apice = {AcltTechrep97},
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
}
address = {Bologna, Italy},
apice = {AcltTechrep97},
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},
apice = {DNORealTimeSurvey93},
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
}
address = {Roma, Italy},
apice = {DNORealTimeSurvey93},
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,
apice = {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
}
apice = {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},
apice = {CsmUserGuide92},
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
}
address = {Rome, Italy},
apice = {CsmUserGuide92},
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
}
