%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Paolo Ciancarini",
%%%     date            = "16 May 1996",
%%%     filename        = "CiancariniP.bib",
%%%     url             = "ftp://ftp.cs.unibo.it/pub/cianca/biblio.bib",
%%%     www-home        = "http://www.cs.unibo.it",
%%%     address         = "Dipartimento di Scienze dell'Informazione,
%%%                        Universita' di Bologna,
%%%                        Italy",
%%%     telephone       = "+39 51 354506",
%%%     FAX             = "+39 51 354510",
%%%     FTP-archive     = "ftp://ftp.cs.unibo.it/pub/cianca/biblio.bib",
%%%     email           = "ciancarini at cs.unibo.it",
%%%     dates           = {1940-1996},
%%%     keywords        = "software, coordination, design",
%%%     supported       = "yes",
%%%     supported-by    = "Paolo Ciancarini",
%%%     abstract        = "Bibliography for Paolo Ciancarini"
%%%  }
%%% ====================================================================

@string{jacm = "Journal of the ACM"}
@string{cacm = "Communications of the ACM"}
@string{acmcs = "ACM Computer Surveys"}
@string{acmtocs = "ACM Transactions on Computer Systems"}
@string{acmtods = "ACM Transactions on Database Systems"}
@string{acmtois = "ACM Transactions on Office Information Systems"}
@string{acmtis = "ACM Transactions on Information Systems"}
@string{acmtochi = "ACM Transactions on Computer-Human Interaction"}
@string{acmtoplas = "ACM Transactions on Programming Languages and Systems"}
@string{acmtosem = "ACM Transactions on Software Engineering and Methodology"}
@string{sigsoft = "ACM SIGSOFT Software Engineering Notes"}
@string{sigplan = "ACM Sigplan Notices"}
@string{osr = "ACM Operating Systems Review"}

% journals: IEEE
@string{ieeeahc = "IEEE Annals of the History of Computing"}
@string{ieeec = "IEEE Computer"}
@string{ieeee = "IEEE Expert"}
@string{ieeepc = "IEEE Personal Communications"}
@string{ieeem = "IEEE Multimedia"}
@string{ieeesw = "IEEE Software"}
@string{ieeetc = "IEEE Transactions on Computers"}
@string{ieeetkde = "IEEE Transactions on Knowledge and Data Engineering"}
@string{ieeetpds = "IEEE Transactions on Parallel and Distributed Systems"}
@string{ieeetsmc = "IEEE Transactions on Systems, Man and Cybernetics"}
@string{ieeetse = "IEEE Transactions on Software Engineering"}
@string{ieeetpami = "IEEE Transactions on Pattern Analysis and Machine Intelligence"}

% journals: various
@string{ai = "Artificial Intelligence"}
@string{acta = "Acta Informatica"}
@string{cj = "The Computer Journal"}
@string{cl = "Computer Languages"}
@string{cnis = "Computer Networs and ISDN Systems"}
@string{cpe = "Concurrency - Practice and Experience"}
@string{dke = "Data and Knowledge Engineering"}
@string{dse = "Distributed Software Engineering"}
@string{fac = "Formal Aspects of Computing"}
@string{fgcs = "Future Generation Computer Systems"}
@string{ic = "Information and Computation"}
@string{icca = "Journal of the International Computer Chess Association"}
@string{ijpp = "Int. Journal of Parallel Programming"}
@string{ieesej = "IEE Software Engineering Journal"}
@string{ijseke = "Int. Journal on Software Engineering and Knowledge Engineering"}
@string{ipl = "Information Processing Letters"}
@string{ist = "Information and Software Technology"}
@string{jcss = "Journal of Computer and System Sciences"} 
@string{jlp = "Journal of Logic Programming"}
@string{jpdc = "Journal of Parallel and Distributed Computing"}
@string{jsi = "Journal of Systems Integration"}
@string{jss = "Journal of Systems and Software"}
@string{ker = "Knowledge Engineering Review"}
@string{ngc = "New Generation Computing"}
@string{pc = "Parallel Computing"}
@string{scp = "Science of Computer Programming"}
@string{smrp = "Software Maintenance - Research and Practice"}
@string{swpe = "Software: Practice and Experience"}
@string{tcs = "Theoretical Computer Science"}


%series
@string{lnai = "Lecture Notes in Artificial Intelligence"}
@string{lncs = "Lecture Notes in Computer Science"} 

%PUBLISHERS
@string{acmp = "ACM Press"}
@string{aw = "Addison-Wesley"}
@string{csp = "Computer Science Press, New York"}
@string{eh = "Ellis Horwood, Chichester"}
@string{ieeecsp = "IEEE Computer Society Press"}
@string{mit = "MIT Press, Cambridge, MA"}
@string{nh = "North-Holland"}
@string{ph = "Prentice-Hall"}
@string{springer = "Springer-Verlag, Berlin"}
@string{wsp = "World Scientific Publishing Co."}
@string{wiley = "Wiley, New York"}
@string{mgh = "McGraw-Hill"}

% institutions
@string{bologna = "Dipartimento di Scienze dell'Informazione, Universit\`{a} di Bologna, Italy"}
@string{dip = "Dipartimento di Informatica, Universit\`{a} di Pisa, Italy"}
@string{cwi = "Centre for {M}athematics and {C}omputer {S}cience, Amsterdam"}
@string{icot = "Institute for New Generation Computer Technology, Tokyo"}

@article{ABC90,
	author = {V. Ambriola and L. Bendix and P. Ciancarini},
	title = {{The Evolution of Configuration Management and Version Control}},
	journal = ieesej,
	volume = 5,
	number = 6,
	pages = {303-310},
	year = {1990 (also reprinted in R. Thayer and A. McGettrick (eds.), {\em Sw Engineering: a European Perspective}, IEEE CS Press, 1992)},
	keyword = {mine}
}

@techreport{ACC88,
	author = {V. Ambriola and P. Ciancarini and A. Corradini}, 
	title = {{Specifying and Prototyping in Concurrent Prolog a Software 
Engineering Environment}}, 
	number = {TR11/88}, 
	institution = dip,
	year = 1988,
keyword = {mine}
}

@article{ACC95,
	author = {V. Ambriola and P. Ciancarini and A. Corradini}, 
	title = {{Declarative Specification of the Architecture of a Software Development Environment}}, 
	journal = swpe, 
	year = 1995,
	volume = 25,
	number = 2,
	pages = {143-174},
  keyword = {mine, coordination, software process modeling, FCP}
}

@techreport{ACCD89,
	author = {V. Ambriola and P. Ciancarini and A. Corradini and M. Danelutto},
	title = {{Shell: A Shell Hierarchical Environment Based on a Logic Language}},
	institution = dip,
	number = {31-89},
	year = {1989},
keyword = {mine}
}

@article{ACCD91,
	author = {V. Ambriola and P. Ciancarini and A. Corradini and N. DeFrancesco},
	title = {{Towards Innovative Software Engineering Environments}},
	journal = jss,
	volume = 14,
	pages = {17-29},
	month = {January},
	year = 1991,
keyword = {mine}
}

@inproceedings{ACD89,
	title = {{A Distributed Implementation of a Parallel Logic Language}},
	author = {V. Ambriola and P. Ciancarini and M. Danelutto},
	booktitle = {Proc. AICA Workshop on Parallel Programming}},
	pages = {207-224},
	year = {1989},
	address = {Bologna, Italy},
	month = {October},
  keyword = {Linda, coordination, Shared Prolog, mine}
}

@inproceedings{ACD90,
	title = {{Design and Distributed Implementation of the Parallel Logic 
Language Shared Prolog}},
	author = {V. Ambriola and P. Ciancarini and M. Danelutto},
	booktitle = {Proc. ACM Symp. on Principles and Practice of Parallel Programming (PPOPP)},
	pages = {40-49},
	year = {1990},
	series = sigplan,
	volume = {25:3},
  keyword = {Linda, coordination, Shared Prolog, mine}
}

@inproceedings{ACM90a,
	title = {Enacting Software Processes in {Oikos}},
	author = {V. Ambriola and P. Ciancarini and C. Montangero},
	booktitle = {Proc. ACM SIGSOFT Conf. on Software Development Environments},
	pages = {12-23},
	year = {1990},
	series = sigsoft, 
	volume = {15:6},
	keyword = {software process modeling, mine}
}

@inproceedings{ACM90b,
	author = {V. Ambriola and P. Ciancarini and C. Montangero},
	title = {{The Logic Language ESP and its Programming Environment}},
	booktitle = {Proc. Workshop on Logic Programming Environments},
	month = {June},
	year = 1990,
	address = {Eilat, Israel},
	series = {ECRC (European Computer-Industry Research Centre)},
	volume = {Technical Report IR-LP-31-25},
	editor = {T. Kusalik and J. Levy},
  keyword = {coordination, Shared Prolog, mine}
}

@inproceedings{ACM90c,
	author = {V. Ambriola and P. Ciancarini and C. Montangero},
	title = {{Software Processes as a Hierarchy of Services in the Oikos Meta Environment}}, 
	booktitle = {Proc. 6th Int. Software Process Workshop}, 
	address = {Japan}, 
	year = {1990},
  keyword = {coordination, Shared Prolog, mine},
}

@incollection{ACP93a,
	author = {JM. Andreoli and P. Ciancarini and R. Pareschi},
	title = {{Interaction Abstract Machines}},
	booktitle = {Trends in Object-Based Concurrent Computing},
	editor = {G. Agha and P. Wegner and A. Yonezawa},
	publisher = mit,
	year = {1993},
	pages = {257-280},
  keyword = {coordination model, LO, multiple tuple spaces, mine}
}

@inproceedings{ACP93b,
	author = {JM. Andreoli and P. Ciancarini and R. Pareschi},
	title = {{Parallel Searching with Multisets-as-Agents}},
	booktitle = {Proc. AAAI Spring Symposium on Innovative Applications of 
Massive Parallelism},
	year = {1993},
  keyword = {coordination model, LO, mine}
}

@inproceedings{AmbCia90,
	author = {V. Ambriola and P. Ciancarini},
	title = {{Logic Programming and Software Development Environments}},
	booktitle = {Proc. 5th Italian Conf. on Logic Programming (GULP)},
	address = {Padova}, 
	year = {1990}, 
	pages = {131-142},
	keyword = {Prolog, software engineering, mine}
}

@inproceedings{BCM91,
	author = {A. Bucci and P. Ciancarini and C. Montangero},
	title = {{Extended Shared Prolog: A Multiple Tuple Spaces Logic 
Language}},
	year = {1991},
	booktitle = {Proc. $10^{th}$ Japanese Logic Programming Conference},
keyword = {mine, coordination language}
}

@article{BroCia91,
	author = {A. Brogi and P. Ciancarini},
	title = {The Concurrent Language {Shared Prolog}},
	journal = acmtoplas,
	year = {1991},
	volume = 13,
	number = 1,
	pages = {99-123},
keyword = {coordination language, Linda, Prolog, mine}
}

@inproceedings{CCM90,
	author = {T. Castagnetti and P. Ciancarini and M. Montanari},
	title = {{Compilazione ed Esecuzione di un Linguaggio Logico distribuito}},
	booktitle = {Proc. Italian Conf. on Logic Programming (GULP)},
	year = 1990, 
	address = {Padova},
	pages = {49-62},
keyword = {mine}
}

@inproceedings{CCP93,
	author = {S. Castellani and P. Ciancarini and S. Pompei},
	title = {{Marrying LO with SP}},
	booktitle = {Proc. Workshop on Blackboard-based Logic Programming},
	month = {June},
	year = 1993,
	address = {Budapest, Hungary},
	editor = {F. DeBoesschere and J. Jacquet and P. Tarau},
	pages = {21-26},
keyword = {coordination language, mine}
}


@inproceedings{CCP95a,
  author = {P. Ciaccia and P. Ciancarini and W. Penzo},
  title = {{A Formal Approach to Software Design: The Clepsydra Methodology}},
  Booktitle= {Proc. 9th Int. Conf. on the Z Formal Specification Notation (ZUM95)},
  publisher = springer,
  editor = {J. Bowen and M. Hinchey},
  month = {September},
  series = lncs,
  number = {967},
  year = {1995},
  pages = {5-24},
  address = {Limerick, Ireland},
  keyword = {formal design, Z, mine}
}

@inproceedings{CCP95b,
  author = {P. Ciaccia and P. Ciancarini and W. Penzo},
  title = {{From Formal Requirements to Formal Design}},
  booktitle = {Proc. 7th Int. Conf. on Software Engineering and Knowledge Engineering},
  address = {Rockville, Maryland},
  year = {1995},
	pages = {23-30},
	publisher = {Knowledge Systems Institute},
  keyword = {formal design, Z, mine}
}

@techreport{CCP95c,
  author = {P. Ciaccia and P. Ciancarini and W. Penzo},
  title = {{The Clepsydra Methodology}},
  institution = 	bologna, 
  year = 		1995,
  number = {UBLCS 95-2},
  keyword = {formal design, Z, mine}
}

@article{CCP96,
  author = {P. Ciaccia and P. Ciancarini and W. Penzo},
  title = {{Formal Requirements and Design Specifications: The Clepsydra Methodology}},
  journal = ijseke,
  year = 1996,
  volume = {(to appear)},
 number = {},
  keyword = {formal design, Z, mine}
}

@techreport{CCR96,
	author = 	{S. Castellani and P. Ciancarini and D. Rossi},
	title = 	{{The ShaPE of ShaDE: a coordination system}},
	institution = 	bologna,
	year = 		1996,
        number = {UBLCS 96-5},
	month = {March},
  keyword = {coordination language, LO, auction system, mine}
}

@techreport{CiaRos96,
	author = {P. Ciancarini and D. Rossi},
	title = 	{{Jada: a coordination toolkit for Java}},
	institution = 	bologna,
	year = 		1996,
        number = {UBLCS},
	month = {May},
  keyword = {coordination language, Java, mine}
}

@techreport{CDM95,
	author = 	{P. Ciancarini and F. Dallalibera and F. Maran},
	title = 	{{A Rational Approach to Kriegspiel}},
	institution = 	{Dip. Matematica Applicata e Informatica},
	month = 	{September},
	year = 		1995,
	number = 	{CS95-7},
	address = 	{Univ. di Venezia - C\`a Foscari},
keyword = {computer chess, mine} 
}

@inproceedings{CFG95,
        author = {P. Ciancarini and D. Fogli and M. Gaspari},
        title = {{A Logic Language based on Gamma-like Multiset Rewriting}},
        booktitle = {Proc. Italian-Spanish Logic Programming Conf. (GULP-PRODE)},
        year = {1995},
        month = {September},
        address = {Salerno},
 	pages = {125-136},
	editor = {M. Alpuente and M. Sessa},
keyword = {Gamma, coordination language, Prolog, Goedel, mine}
}

@inproceedings{CFG96a,
        author = {P. Ciancarini and D. Fogli and M. Gaspari},
        title = {{A Logic Language based on Gamma-like Multiset Rewriting}},
        booktitle = {Proc. 5th Workshop on Extensions of Logic Programming},
        year = {1996},
        month = {March},
        address = {Leipzig, Germany},
 	pages = {83-102},
	editor = {R. Dyckhoff and H. Herre and P. Schroeder-Heister},
	series = lnai,
	volume = {1050},
	publisher = springer,
keyword = {Gamma, coordination language, Prolog, Goedel, mine}
}

@incollection{CFG96b,
        author = {P. Ciancarini and D. Fogli and M. Gaspari},
        title = {{A Logic Language based on Multiset Rewriting}},
	booktitle = {Coordination Programming: Mechanisms, Models and Semantics},	
	year = 	1996,
	pages = {32-48},
	publisher = {Imperial College Press},
	editor = {JM. Andreoli and C. Hankin and D. LeMetayer},
	keyword = {coordination, Gamma, mine},
}

@techreport{CGZ95b,
	author = {P. Ciancarini and R. Gorrieri and G. Zavattaro},
	title = {{Generative Communication in Process Algebra}},
	institution = 	bologna,
	year = 		1995,
        number = {UBLCS 95-16},
keyword = {coordination semantics, Linda, mine}
}

@incollection{CGZ96b,
	author = {P. Ciancarini and R. Gorrieri and G. Zavattaro},
	title = {{An Alternative Semantics for the Calculus of Gamma Programs}},
	booktitle = {Coordination Programming: Mechanisms, Models and Semantics},
	year = 	1996,
	pages = {224-247},
	publisher = {Imperial College Press},
	editor = {JM. Andreoli and C. Hankin and D. LeMetayer},
keyword = {coordination semantics, Linda, mine}
}

@inproceedings{CGZ96a,
	author = {P. Ciancarini and R. Gorrieri and G. Zavattaro},
	title = {{Towards a Calculus for Generative Communication}},
	booktitle = {Proc. IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems},
	year = 	1996,
	pages = {289-306},
	address = {Paris, France},
	publisher = {IFIP Wg 6.1},
	editor = {E. Najm and J. Stefani},
keyword = {coordination semantics, Linda, mine}
}

@techreport{CJY92,
	author = {P. Ciancarini and K. Jensen and D. Yankelewich},
	title = {{The Semantics of a Parallel Language Based on a Shared Dataspace}},
	number = {TR26-92},
	year = {1992},
	month = {September},
	institution = dip,
	keyword={Linda, coordination semantics, CHAM, mine}
}


@inproceedings{CJY95,
	author = {P. Ciancarini and K. Jensen and D. Yankelewich},
	title = {{On the Operational Semantics of a Coordination Language}},
	booktitle = {Object-Based Models and Languages for Concurrent Systems},
	year = {1995},
	publisher = springer,
	series = lncs,
	editor = {P. Ciancarini and O. Nierstrasz and A. Yonezawa},
	volume = 924,
	pages = {77-106},
	keyword={Linda, coordination semantics, CHAM, mine}
}

@proceedings{CNY95,
	title = 	{{Object-Based Models and Languages for Concurrent Systems}},
	year = 		1995,
	series = 	lncs,
	volume = 	924,
	editor = 	{P. Ciancarini and O. Nierstrasz and A. Yonezawa},
	publisher = 	springer,
	keyword ={coordination languages, oo languages, mine}
}

@proceedings{CiaHan96,
	title = 	{{1st Int. Conf. on Coordination Languages and Models
(COORDINATION)}},
	month = {April},
	year = 		1996,
	series = 	lncs,
	volume = 	1061,
	editor = 	{P. Ciancarini and C. Hankin},
	publisher = 	springer,
	address = {Cesena, Italy},
	keyword ={coordination languages, mine}
}

@article{CasCia91,
	title = {{Static Analysis of a Parallel Logic Language Based on the 
Blackboard Model}},
	author = {T. Castagnetti and P. Ciancarini},
	journal = jpdc,
	year = {1991},
	month = {December},
	pages = {412-423},
	volume = 13,
	number = 12,
	keyword = {Shared Prolog, coordination language implementation, mine}
}

@techreport{CasCia94a,
        author = {S. Castellani and P. Ciancarini},
        title = {{Exploring the Coordination Space with LO}},
        number = {UBLCS 94-6},
        year = {1994},
        month = {April},
        institution = bologna,
	keyword = {LO, coordination semantics, mine}
}

@techreport{CasCia94b,
        author = {S. Castellani and P. Ciancarini},
        title = {{Comparative Semantics of LO}},
        number = {UBLCS 94-7},
        year = {1994},
        month = {April},
        institution = bologna,
	keyword = {LO, coordination semantics, mine}
}

@article{Cia87,
	author = {P. Ciancarini},
	title = {{Tecniche di Prototipazione Rapida nella Realizzazione del Software}}, 
	journal = {Rivista d'Informatica}, 
	volume = 17,
	number = 1, 
	year = 1987,
	pages = {5-16},
	keyword = {mine}
}

@phdthesis{Cia88,
	author = {P. Ciancarini},
	title = {Specifying and Prototyping Software Development Environments},
	school = dip,
	year = {1988},
	month = {October},
	note = {(in Italian)},
	keyword = {software process modeling, mine}
}

@inproceedings{Cia90c,
	author = {P. Ciancarini},
	title = {{A Report on Shared Prolog}},
	booktitle = {Proc. Workshop on Semantics of Concurrent Logic 
Programming Languages},
	year = 1990, 
	address = {Eilat, Israel},
	month = {June},
	editor = {M. Falaschi},
	keyword = {mine}
}

@inproceedings(Cia90d,
	title = {{Coordination Languages for Open System Design}},
	author = {P. Ciancarini},
	booktitle = {Proc. IEEE Conf. on Computer Languages},
	pages = {120-129},
	year = {1990},
	address = {New Orleans},
	keyword = {coordination language, Linda, mine}
)

@incollection{Cia90e,
	author = {P. Ciancarini},
	title = {Blackboard Programming in {Shared Prolog}},
	booktitle = {Languages and Compilers for Parallel Computing},
	editor = {David Gelernter and Alex Nicolau and David Padua},
	year = {1990},
	publisher = mit,
	pages = {170-185},
	keyword = {coordination language, mine}
}

@inproceedings{Cia91a,
	author = {P. Ciancarini},
	title = {{Parallel Logic Programming Using the Linda Model of 
Computation}},
	booktitle = {Research Directions in High-Level Parallel Programming 
Languages},
	month = {June},
	editor = {JP. Banatre and D. LeMetayer},
	year = 1991,
	address = {Mont Saint-Michel, France},
	series = lncs,
	volume = 574,
	pages = {110-125},
	publisher = springer,
	keyword = {coordination model, PoliS, mine}
}

@inproceedings{Cia91b,
	author = {P. Ciancarini},
	title = {{PoliS: a Programming Model for Multiple Tuple Spaces}},
	booktitle = {Proc. 6th IEEE Int. Workshop on Software Specification and 
Design},
	month = {October},
	year = 1991,
	address = {Como, Italy},
	editor = {C. Ghezzi and GC. Roman},
	publisher = ieeecsp,
	pages = {44-51},
	keyword = {coordination model, mine}
}

@article{Cia92b,
	author = {P. Ciancarini},
	title = {{Parallel Programming with Logic Languages: a Survey}},
	journal = cl,
	volume = 17,
	number = 4,
	pages = {213-240},
	year = 1992,
	publisher = {Pergamon Press},
	keyword = {parallel logic language, mine}
}

@inproceedings{Cia92c,
	author = {P. Ciancarini},
	title = {{A Linda-based runtime system for a distributed logic language}},
	booktitle = {Proc. 5th Workshop on Languages and Compilers for Parallel 
Computing},
	year = 1992,
	address = {New Haven, CT},
	editor = {U. Banerjee and D. Gelernter and A. Nicolau and D. Padua},
	month = {August},
	series = lncs,
	volume = 757,
	publisher = springer,
	pages = {356-368},
	keyword = {coordination language, Linda, mine}
}

@book{Cia92d,
	author = {P. Ciancarini},
	title = {Artificial Chess Players (in Italian)},
	publisher = {Mursia},
	year = 1992,
	keyword = {computer chess, mine}
}

@article{Cia93a,
	author = {P. Ciancarini},
	title = {{Coordinating Rule-Based Software Processes with ESP}},
	journal = acmtosem,
	volume = {2},
	number = {3},
	year = {1993},
	pages = {203-227},
	keyword = {coordination language, software process modeling, mine}
}

@techreport{Cia93b,
	author = {P. Ciancarini},
	title = {{Coordinating Rule-Based Software Processes with ESP}},
	institution = bologna,
	month = {April},
	year = 1993,
	number = {UBLCS 93-8},
	keyword = {coordination language, software process modeling, mine}
}

@article{Cia94b,
	author = {P. Ciancarini},
	title = {{Distributed Programming with Logic Tuple Spaces}},
	journal = ngc,
	year = {1994},
	volume = 12,
	number = 3,
	month = {May},
	pages = {251-284},
	keyword = {coordination language, Linda, mine}
}

@inproceedings{Cia94c,
	author = {P. Ciancarini},
	title = {Rule-Based Coordination of Software Processes},
	booktitle = {Proc. IEEE Workshop on Artificial Intelligence in Software Engineering}, 
	address = {Sorrento, Italy},
	year = 1994, 
	keyword = {coordination language, coordination application, mine}
}

@article{Cia94d,
        author = {P. Ciancarini},
        title = {{Experiments in Distributing and Coordinating Knowledge}},
        journal = icca,
	number = 3,
	volume = 17,
        year = {1994},
        pages = {115-131},
	keyword = {coordination language, computer chess, Linda, mine}
} 

@techreport{Cia94e,
        author = {P. Ciancarini},
        title = {{A Comparison of Parallel Search Algorithms based on Tree Splitting}},
        number = {UBLCS 94-14},
        year = {1994},
        month = {May},
        institution = bologna,
	keyword = {coordination language, computer chess, Linda, mine}
}

@techreport{Cia94f,
        author = {P. Ciancarini},
        title = {{Experiments on Distributing and Coordinating Knowledge}},
        number = {UBLCS 94-13},
        year = {1994},
        month = {May},
        institution = bologna,
	keyword = {coordination language, computer chess, Linda, mine}
} 

@inproceedings{Cia94g,
	author = {P. Ciancarini},
	title = {{Modeling the Software Process Using Logic Programming}},
	booktitle = {Workshop on Applications of Logic Programming to Software Engineering},
	editor = {P. Ciancarini and L. Sterling},
	address = {S.Margherita Ligure, Italy},
	year = {1994},
	month = {June},
	pages = {1-14},
	keyword = {software process modeling, mine}
}

@article{Cia94h,
        author = {P. Ciancarini},
        title = {{Distributed Searches: a Basis for Comparison}},
        journal = icca,
	number = 4,
	volume = 17,
        year = {1994},
	pages = {194-206},
	keyword = {coordination language, computer chess, Linda, mine}
}

@inproceedings{Cia95a,
        author = {P. Ciancarini},
        title = {{Modeling The Software Process Using Coordination Rules}},
        booktitle = {Proc. 4th IEEE Workshop on Enabling Technology:
Infrastructure for Collaborative Enterprises (WETICE)},
        address = {Berkley Springs, WV},
        year = 1995,
        month = {April},
	publisher = ieeecsp, 
	pages = {46-53},
	keyword = {coordination application, mine}
}

@incollection{Cia95b,
	author = 	{P. Ciancarini},
	title = {{What is Coordination and What has to do with Integration}},
	booktitle = 	{New Trends in the Integration of Paradigms},
	month = 	{September},
	year = 		1995,
	series = {Dagsthul Seminars},
	number = 	{9538},
	editor = 	{C. Hankin and H. Nielson},
	address = 	{Germany},
	keyword = {coordination application, mine}}

@inproceedings{Cia95c,
        author = {P. Ciancarini},
        title = {{Formal Methods in Requiremements Engineering}},
        booktitle = {AICA Workshop on Requirements Engineering},
        address = {Ancona, Italy},
        year = 1995,
        month = {June},
	keyword = {mine}
}

@inproceedings{Cia95d,
        author = {P. Ciancarini},
        title = {{Applications of Logic Programming in Software Engineering}},
        booktitle = {PAP Workshop on LP and SE},
        address = {Paris, France},
        year = 1995,
        month = {April},
	annote = {(invited lecture)},
	keyword = {mine}
}


@inproceedings{CiaCia94,
	author = {P. Ciaccia and P. Ciancarini},
	title = {A Course on Formal Methods in Software Engineering},
	booktitle = {Proc. ACM/IEEE Int. Workshop on Software Engineering Education}, 
	address = {Sorrento, Italy},
	year = 1994, 
	editor = {A. Finkelstein and B. Nuseibeh},
	annote = {Doc94/6 Imperial College, London},
	pages = {97-110},
	keyword = {Z, Larch, teaching formal methods, mine}
}

@inproceedings{CiaCia95,
  author = {P. Ciancarini and P. Ciaccia},
  title = {{Matching Requirements with Design}},
  Booktitle= {Proc. 9th Int. Conf. on the Z Formal Specification Notation (ZUM95)},
  publisher = springer,
  editor = {J. Bowen and M. Hinchey},
  month = {September},
  series = lncs,
  number = {967},
  year = {1995},
  pages = {482-496},
  address = {Limerick, Ireland},
	keyword = {Z, Larch, formal design, specification style, mine}
}

@inproceedings{CCM96a,
        author = {P. Ciancarini and S. Cimato and C. Mascolo},
        title = {{Engineering Formal Requirements: Analysis and Testing}},
        booktitle = {Proc. 8th Int. Conf. on Sw. Eng. and Knowledge Eng. (SEKE)},
        year = {1996},
	address = {Lake Tahoe, Ca},
	month = {June},
	keyword = {Z, CHAM, animation, Prolog, mine}
}

@techreport{CCM96b,
        author = {P. Ciancarini and S. Cimato and C. Mascolo},
        title = {{Engineering formal requirements: an analysis and testing method for Z documents}},
        number = {UBLCS-6},
        year = {1996},
        institution = bologna,
	keyword = {mine}
}

@inproceedings{CiaDeg83,
	author = {P. Ciancarini and P. Degano},
	title = {{An Approach to Proving Properties of non Terminating Logic Programs}}, 
	booktitle = {Algebra, Combinatorics and Logic in Computer Science},
	editor = {J. Demetrovics and G. Katona and A. Salomaa},
	series = {Colloquia Matematica Societatis Janos Bolyai},
	volume = {42},
	publisher = nh,
	year = {1983}, 
	pages = {223-243},
	keyword = {mine}
}

@inproceedings{CiaGas87,
	author = {P. Ciancarini and M. Gaspari},
	title = {{MetaChess: a Multigame Prolog-based Environment}},
	booktitle = {Atti della 2a Conf. Italiana sulla Programmazione Logica},
	year = 1987, 
	address = {Torino},
	pages = {125-130},
	keyword = {computer chess, Prolog, mine}
}

@inproceedings{CiaGas89,
	author = {P. Ciancarini and M. Gaspari},
	title = {{A Knowledge-based System and a Development Interface for the 
Middlegame in Chess}},
	editor = {D. Beal},
	booktitle = {Advances in Computer Chess 5},
	publisher = nh,
	year = 1989, 
	pages = {219-230},
	keyword = {computer chess, Prolog, mine}
}

@inproceedings{CiaGas94a,
	author = {P. Ciancarini and M. Gaspari},
	title = {{Parallel Symbolic Computing with the Shared Dataspace Coordination Model}},
	booktitle = {Workshop on Process-based Parallel Logic Programming},
	editor = {K. DeBosschere and JM. Jacquet and A. Brogi},
	address = {S.Margherita Ligure, Italy},
	annote = {Tech Rep. UBLCS-17/94, Univ. of Bologna},
	year = {1994},
	month = {June},
	pages = {11-38},
	keyword = {mine}
}

@article{CiaGas96,
	author = {P. Ciancarini and M. Gaspari},
	title = {{Rule Based Coordination of Logic Programs}},
	journal= cl,
	year = {1996},
	volume= {(to appear)},
	number = {},
	pages = {},
	keyword = {mine}
}

@inproceedings{CiaGel92,
	author = {P. Ciancarini and D. Gelernter},
	title = {{A Distributed Programming Environment based on Multiple Tuple 
Spaces}},
	booktitle = {Proc. Int. Conf. on Fifth Generation Computer Systems},
	pages = {926-933},
	year = 1992,
	publisher = icot,
	keyword = {mine}
}

@article{CiaGue93,
	author = {P. Ciancarini and N. Guerrini},
	title = {{Linda meets Minix}},
	journal = osr,
	volume = 27, 
	number = 4, 
	month = {October},
	year = {1993},
	pages = {76-92},
	keyword = {Minix, coordination architecture, mine}
}

@incollection{CiaLev92a,
	author = {P. Ciancarini and G. Levi},
	title = {{What is Logic Programming good for in Software Engineering?}},
	booktitle = {Advances in Software Engineering and Knowledge Engineering},
	editor = {V. Ambriola and G. Tortora},
	publisher = wsp,
	year = {1992}, 
	pages = {109-134},
	keyword = {logic programming, software engineering, mine}
}

@inproceedings{CiaLev92b,
	author = {P. Ciancarini and G. Levi},
	title = {{Logic Programming in Software Engineering}},
	booktitle = {Proc. Int. Conf. on Software Engineering and Knowledge Engineering},
	year = {1992}, 
	address = {Capri, Italy},
	annote = {Invited Speech},
	keyword = {mine}
}

@techreport{CiaLev93,
	author = {P. Ciancarini and G. Levi},
	title = {{What is Logic Programming good for in Software Engineering?}},
	institution = bologna,
	month = {April},
	year = 1993,
	number = {UBLCS 93-9},
	keyword = {mine}
}

@inproceedings{CiaMan95,
	author = {P. Ciancarini and P. Mancini},
	title = {{Distributing Search and Knowledge using a Coordination Language}},
 	booktitle = {Proc. 3rd Int. Conf. on Parallel Computing Technologies (PACT 95)},
	address = {St. Petersburg, Russia},
	year = 1995,
	month = {September},
	pages = {400-410},
	series = lncs,
        editor = {V. Malyshkin},
	volume = {964},
	publisher = springer,
	keyword = {computer chess, Linda, mine}
}

@inproceedings{CiaMas96,
        author = {P. Ciancarini and C. Mascolo},
        title = {{Analyzing the dynamics of a Z specification}},
        booktitle = {Proc. Int. Int. Symp. on Design and Implementation of Symbolic Computation Systems (DISCO 96)},
        year = {1996},
	month = {September},
	series = lncs,
	address = {Karlshrue, Germany},
	publisher = springer,
	keyword = {Z, CHAM, formal analysis, mine}
}

@proceedings{CiaSte94,
	title = {ICLP Workshop on Applications of Logic Programming to Software Engineering},
	editor = {P. Ciancarini and L. Sterling},
	address = {S.Margherita Ligure, Italy},
	year = {1994},
	month = {June},
	publisher = {{Tech. Report of Case Western Univ.}},
	annote = {Available by ftp at {\tt ftp.cs.unibo.it}, directory {\tt pub/WLPSE}},
	keyword = {mine}
}

@article{CiaSte95,
	title = {Report on the Workshop: Applications of Logic Programming in Software Engineering},
	author = {P. Ciancarini and L. Sterling},
	journal = ker,
	year = {1995},
        volume = 10,
        number = 1,
	pages = {97-100},
	keyword = {mine}
}

@techreport{CiaYan90,
	author = {P. Ciancarini and D. Yankelewich},
	title = {{Inside Linda}},
	number = {RR YALEU/DCS/RR-831},
	year = {1990},
	month = {October},
	institution = {Yale University, Dept. of Computer Science},
	keyword = {mine}
}

@manual{ESP91,
	author = {A. Bucci and P. Ciancarini and C. Montangero},
	title = {{Manuale di Riferimento del Linguaggio Extended Shared Prolog 1.1}},
	organization = {Consiglio Nazionale delle Ricerche, Progetto Finalizzato 
Sistemi Informatici e Calcolo Parallelo},
	year = 1991,
	month = {August},
	note = {TR. 6/48 (in Italian)},
	keyword = {mine}
}

@article{SCT96,
	author = 	{L. Sterling and P. Ciancarini and T. Turnidge},
	title = 	{{On the Animation of Not Executable Specifications by Prolog}},
	journal = 	ijseke,
	volume = 	{6},
	number = 	{1},
	pages = 	{(to appear)},
	year = 		1996,
	keyword = {Z, animation, Prolog, mine}
}

@inproceedings{TolCia95,
 author = {R. Tolksdorf and P. Ciancarini},
 title  = {{Integrating Internet Services with a PageSpace}},
 booktitle= {Proc. ACM SIGCOMM Workshop on Middleware},
 year   = 1995,
 annote = {http://ana-www.lcs.mit.edu/people/sc95ws/middleware.html},
 address = {Boston, Ma},
	keyword = {WWW, PageSpace, mine}
}

@inproceedings{CiaTol96,
 author = {P. Ciancarini and R. Tolksdorf},
 title  = {{Using the Web to Coordinate Distributed Applications}},
 booktitle= {Proc. ACM SIGOPS Workshop - Systems Support for Worldwide Applications},
 year   = 1996,
 address = {Ireland},
	keyword = {WWW, PageSpace, mine}
}

@inproceedings{CasCia96,
	author = {S. Castellani and P. Ciancarini},
	title = {{Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets}},
	booktitle = {Proc. 1st Int. Conf. on Coordination Models and Languages},
	month = {April},
	address = {Cesena, Italy},
	year = 		1996,
	series = 	lncs,
	volume = 	{1061},
	pages =         {89-106},
	editor = 	{P. Ciancarini and C. Hankin},
	publisher = 	springer,
	keyword = {coordination language, mine}
}

@inproceedings{CTV96,
	author = {P. Ciancarini and R. Tolksdorf and F. Vitali},
	title = {{Weaving the Web using Coordination}},
	booktitle = {Proc. 1st Int. Conf. on Coordination Models and Languages},
	year = 		1996,
	series = 	lncs,
	volume = 	{1061},
	pages =         {411-415},
	editor = 	{P. Ciancarini and C. Hankin},
	publisher = 	springer,
	keyword = {WWW, PageSpace, mine}
}

@article{CKTV96,
	author = {P. Ciancarini and A. Knoche and R. Tolksdorf and F. Vitali},
	title = {{PageSpace : An Architecture to Coordinate Distributed Applications on the Web}},
	annote = 	{Proc. 5th Int. WWW Conference, Paris},
	year = 		1996,
	journal = cnis,
	volume = 28,
	number = {7-11},
	pages = {941-952},
	keyword = {coordination application, WWW, PageSpace, Java, mine}
}

@inproceedings{CRVKT96,
author = {P. Ciancarini and D. Rossi and F.Vitali and A. Knoche and R. Tolksdorf},
title = {{Coordination Technology for the WWW}},
        booktitle = {Proc. 5th IEEE Workshop on Enabling Technology:
Infrastructure for Collaborative Enterprises (WETICE)},
	publisher = ieeecsp,
	month = 	{June},
	year = 		1996,
	address = 	{Stanford, Ca},
	keyword = {WWW, PageSpace, mine}
}

@article{Cia96a,
	author = {P. Ciancarini},
	title = {{Coordination Models and Languages as Software Integrators}},
	journal = acmcs,
	volume = {},
	number = {},
	pages = {},
	year = 1996,
	keyword = {WWW, PageSpace, mine}
}