Per Year

16 publications  /  1992
 @article{mobilecalculusI-ic100,
	Author = {Milner, Robin and Parrow, Joachim and Walker, David},
	Doi = {10.1016/0890-5401(92)90008-4},
	Issn = {0890-5401},
	Journal = {Information and Computation},
	Number = 1,
	Pages = {1--40},
	Title = {A Calculus of Mobile Processes, I},
	Url = {http://www.sciencedirect.com/science/article/pii/0890540192900084},
	Volume = 100,
	Year = 1992} 
 
@incollection{barbedBisim92,
	Author = {Milner, Robin and Sangiorgi, Davide},
	Booktitle = {Automata, Languages and Programming},
	Editor = {Kuich, W.},
	Pages = {685--695},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Barbed Bisimulation},
	Volume = 623,
	Year = 1992}
 
 @inproceedings{ctxlp-elp92,
    address = {Bologna, Italy},
    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},
    month = {26--28}}},
    publisher = {Tecnoprint Bologna},
    title = {Implementing Contexts in {L}ogic {P}rogramming},
    year = 1992
} 
 @techreport{sharedds-ciancarini92,
	Address = {Pisa, Italy},
	Author = {Ciancarini, Paolo and Jensen, Keld K. and Yankelevich, Dani},
	Institution = {Dipartimento di Informatica, Universit{\`a} di Pisa},
	Month = sep,
	Number = {TR26-92},
	Title = {The Semantics of a Parallel Language based on a Shared Data Space},
	Year = 1992} 
 @inproceedings{rationalagents-kr92,
	Address = {Cambridge, MA, USA},
	Author = {Rao, Anand S. and Georgeff, Michael P.},
	Booktitle = {3rd International Conference on Principles of Knowledge Representation and Reasoning (KR '92)},
	Editor = {Nebel, Bernhard and Rich, Charles and Swartout, William R.},
	Isbn = {1-55860-262-3},
	Month = {25-29}}},
	Publisher = {Morgan Kaufmann},
	Title = {An Abstract Architecture for Rational Agents},
	Year = 1992} 
 @inproceedings{ctxlp-gulp92,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
    editor = {Costantini, Stefania},
    location = {Tremezzo, Como, Italy},
    month = {17--19 } # jun,
    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
} 
 @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
} 
 @article{mobilecalculusII-ic100,
	Author = {Milner, Robin and Parrow, Joachim and Walker, David},
	Doi = {10.1016/0890-5401(92)90009-5},
	Issn = {0890-5401},
	Journal = {Information and Computation},
	Number = 1,
	Pages = {41--77},
	Title = {A Calculus of Mobile Processes, II},
	Url = {http://www.sciencedirect.com/science/article/pii/0890540192900095},
	Volume = 100,
	Year = 1992,
	Abstract = {Abstract}}
 
 @article{coord-cacm35,
	Address = {New York, NY, USA},
	Author = {Gelernter, David and Carriero, Nicholas},
	Doi = {10.1145/129630.129635},
	Issn = {0001-0782},
	Journal = {Communications of the ACM},
	Number = 2,
	Pages = {97--107},
	Publisher = {ACM},
	Title = {Coordination Languages and Their Significance},
	Url = {http://portal.acm.org/cfm?id=129635},
	Volume = 35,
	Year = 1992} 
 @inproceedings{oolp-compulog92,
    address = {Pisa, Italy},
    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}}},
    title = {Objects as Evolving Contexts},
    year = 1992
} 
 @article{cognitiveartifacts-red4,
	Author = {Norman, Donald A.},
	Doi = {10.1007/BF02032391},
	Issn = {0934-9839},
	eissn = {1435-6066},
	Journal = {Research in Engineering Design},
	Month = mar,
	Number = 1,
	Pages = {43--50},
	urlpdf = {http://www.springerlink.com/content/t964010t85892678/fulltext.pdf},
	Publisher = {Springer},
	Title = {Design principles for cognitive artifacts},
	Url = {http://www.springerlink.com/content/t964010t85892678/},
	Volume = 4,
	Year = 1992}
 
 @incollection{lindalp-lncs574,
	Author = {Ciancarini, Paolo},
	Booktitle = {Reasearch Directions in High-Level Parallel Programming Languages},
	Doi = {10.1007/3-540-55160-3\_38},
	Editor = {Ban{\^a}tre, Jean Pierre and Le M{\'e}tayer, Daniel},
	Isbn = {978-3-540-55160-7},
	Issn = {0},
	Pages = {110--125},
	Publisher = {Springer Berli},
	Series = {LNCS},
	Title = {Parallel Logic Programming using the {L}inda Model of Computation},
	Url = {http://www.springerlink.com/content/y731227538m87455/},
	urlpdf = {http://www.springerlink.com/content/y731227538m87455/fulltext.pdf},
	Volume = 574,
	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
} 
 @article{cham-tcs96,
	Author = {Berry, G{\'e}rard},
	Doi = {10.1016/0304-3975(92)90185-I},
	Journal = {Theoretical Computer Science},
	Month = apr,
	Number = 1,
	Pages = {217--248},
	Publisher = {Elsevier Science B.V.},
	Title = {The Chemical Abstract Machine},
	Volume = 96,
	Year = 1992} 
 @article{MetEng92,
 author = {Kumar, Kuldeep and Welke, Richard J.},
 title = {Methodology EngineeringR: a proposal for situation-specific methodology construction},
 book = {Challenges and strategies for research in systems development},
 year = {1992},
 isbn = {0-471-93175-6},
 pages = {257--269},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA}
 }
 
 @book{martial-lnai610,
    address = {Berlin},
    apice = {MartialLnai610},
    author = {von Martial, Frank},
    booktitle = {Co-ordinating Plans of Autonomous Agents},
    doi = {10.1007/BFb0016366},
    isbn = {978-3-540-55615-2},
    pages = {XII, 246},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Co-ordinating Plans of Autonomous Agents},
    url = {https://link.springer.com/10.1007/BFb0016366},
    volume = 610,
    year = 1992
} 
16 publications  /  1992  •  topindexbottom

publications  /  1992  /  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