Per Year
@incollection{
year={1990},
isbn={978-3-540-53048-0},
booktitle={CONCUR '90 Theories of Concurrency: Unification and Extension},
volume={458},
series={Lecture Notes in Computer Science},
editor={Baeten, J.C.M. and Klop, J.W.},
doi={10.1007/BFb0039071},
title={Equivalences, congruences, and complete axiomatizations for probabilistic processes},
url={http://dx.doi.org/10.1007/BFb0039071},
publisher={Springer Berlin Heidelberg},
author={Jou, Chi-Chang and Smolka, ScottA.},
pages={367-383}
}
year={1990},
isbn={978-3-540-53048-0},
booktitle={CONCUR '90 Theories of Concurrency: Unification and Extension},
volume={458},
series={Lecture Notes in Computer Science},
editor={Baeten, J.C.M. and Klop, J.W.},
doi={10.1007/BFb0039071},
title={Equivalences, congruences, and complete axiomatizations for probabilistic processes},
url={http://dx.doi.org/10.1007/BFb0039071},
publisher={Springer Berlin Heidelberg},
author={Jou, Chi-Chang and Smolka, ScottA.},
pages={367-383}
}
@article{gamma-scico15,
Author = {Ban{\^a}tre, Jean-Pierre and Le M{\'e}tayer, Daniel},
Doi = {10.1016/0167-6423(90)90044-E},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = nov,
Number = 1,
Pages = {55--77},
Title = {The {GAMMA} Model and its Discipline of Programming},
Url = {http://www.sciencedirect.com/science/article/pii/016764239090044E},
Volume = 15,
Year = 1990}
Author = {Ban{\^a}tre, Jean-Pierre and Le M{\'e}tayer, Daniel},
Doi = {10.1016/0167-6423(90)90044-E},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = nov,
Number = 1,
Pages = {55--77},
Title = {The {GAMMA} Model and its Discipline of Programming},
Url = {http://www.sciencedirect.com/science/article/pii/016764239090044E},
Volume = 15,
Year = 1990}
@techreport{seterminology-ieeestd610121990,
address = {New York, NY, USA},
author = {{IEEE Standard Board}},
doi = {10.1109/IEEESTD.1990.101064},
institution = {IEEE},
isbn = {1-55937467-X},
keywords = {Software engineering; glossary; terminology; definitions; dictionary},
note = {Reaffirmed 12-9-2002},
number = 610.12-1990,
pages = {1-84},
title = {{IEEE} Standard Glossary of Software Engineering Terminology},
type = {IEEE Std},
url = {https://ieeexplore.ieee.org/document/159342},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=159342},
year = 1990
}
address = {New York, NY, USA},
author = {{IEEE Standard Board}},
doi = {10.1109/IEEESTD.1990.101064},
institution = {IEEE},
isbn = {1-55937467-X},
keywords = {Software engineering; glossary; terminology; definitions; dictionary},
note = {Reaffirmed 12-9-2002},
number = 610.12-1990,
pages = {1-84},
title = {{IEEE} Standard Glossary of Software Engineering Terminology},
type = {IEEE Std},
url = {https://ieeexplore.ieee.org/document/159342},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=159342},
year = 1990
}
@incollection{Bratman90,
Address = {Cambridge, MA},
Author = {Bratman, Michael E.},
Booktitle = {Intentions in Communication},
Editor = {Cohen, Philip R. and Morgan, Jerry L. and Pollack, Martha E.},
Isbn = {978-0-262-03150-9},
Isbn-10 = {0-262-03150-7},
Month = jun,
Pages = {15--32},
Publisher = {The MIT Press},
Title = {What is Intention?},
Url = {http://mitpress.mit.edu/catalog/item/default.asp?tid=5832&ttype=2},
Year = 1990}
Address = {Cambridge, MA},
Author = {Bratman, Michael E.},
Booktitle = {Intentions in Communication},
Editor = {Cohen, Philip R. and Morgan, Jerry L. and Pollack, Martha E.},
Isbn = {978-0-262-03150-9},
Isbn-10 = {0-262-03150-7},
Month = jun,
Pages = {15--32},
Publisher = {The MIT Press},
Title = {What is Intention?},
Url = {http://mitpress.mit.edu/catalog/item/default.asp?tid=5832&ttype=2},
Year = 1990}
@incollection{christoff-concur1990,
Author = {Christoff, Ivan},
Booktitle = {CONCUR '90 Theories of Concurrency: Unification and Extension},
Doi = {10.1007/BFb0039056},
Editor = {Baeten, J.C.M. and Klop, J.W.},
Isbn = {978-3-540-53048-0},
Pages = {126--138},
Publisher = {Springer Berlin Heidelberg},
Series = {LNCS,
Title = {Testing Equivalences and Fully Abstract Models for Probabilistic Processes},
Url = {http://link.springer.com/chapter/10.1007/BFb0039056},
Volume = 458,
Year = 1990}
Author = {Christoff, Ivan},
Booktitle = {CONCUR '90 Theories of Concurrency: Unification and Extension},
Doi = {10.1007/BFb0039056},
Editor = {Baeten, J.C.M. and Klop, J.W.},
Isbn = {978-3-540-53048-0},
Pages = {126--138},
Publisher = {Springer Berlin Heidelberg},
Series = {LNCS,
Title = {Testing Equivalences and Fully Abstract Models for Probabilistic Processes},
Url = {http://link.springer.com/chapter/10.1007/BFb0039056},
Volume = 458,
Year = 1990}
@article{ooparadigm-oopsmess1,
acm = {383004},
Address = {New York, NY, USA},
Author = {Wegner, Peter},
Doi = {10.1145/382192.383004},
Issn = {1055-6400},
Journal = {ACM SIGPLAN OOPS Messenger},
Month = aug,
Number = 1,
Pages = {7--87},
Publisher = {ACM},
Title = {Concepts and Paradigms of Object-oriented Programming},
Url = {http://dl.acm.org/citation.cfm?doid=383004},
urlpdf = {http://dl.acm.org/ft_gateway.cfm?id=383004},
Volume = 1,
Year = 1990}
acm = {383004},
Address = {New York, NY, USA},
Author = {Wegner, Peter},
Doi = {10.1145/382192.383004},
Issn = {1055-6400},
Journal = {ACM SIGPLAN OOPS Messenger},
Month = aug,
Number = 1,
Pages = {7--87},
Publisher = {ACM},
Title = {Concepts and Paradigms of Object-oriented Programming},
Url = {http://dl.acm.org/citation.cfm?doid=383004},
urlpdf = {http://dl.acm.org/ft_gateway.cfm?id=383004},
Volume = 1,
Year = 1990}
publications
/
1990
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini