Department of Computer Science
University of Bologna Mura Anteo Zamboni, 7 40127 Bologna ITALY Tel:
+39 051 35.45.06
|
The current research includes
also new related topics, and ranges over three main streams:
(1) design of new coordination
models and languages;
(2) semantic issues of
coordination languages and models,
(3) development of
novel coordination architectures for active documents and mobile agents.
Contact:
Prof. Paolo Ciancarini
Address:
Department
of Computer Science
University of Bologna
Mura
Anteo Zamboni, 7
40127
Bologna
ITALY
Fax: +39
051 2094510
Tel:
+39 051 2094506
People:
Material:
Some lectures
on Coordination (by P. Ciancarini, Oct. 1997)
A bibliography
on Coordination (Oct. 1997)
Publications:
Coordination Models and Languages:
F. Arbab and P. Ciancarini and C. Hankin,
Coordination Languages for Parallel Programming,
Parallel Computing, 1998 (to appear).
P. Ciancarini and M. Mazza and L. Pazzaglia,
A Logic for a Coordination Model with Multiple Spaces,
Science of Computer Programming, 31(2-3):231-262,
1998.
JM. Andreoli and P. Ciancarini and R. Pareschi,
Interaction Abstract Machines,
in G. Agha and P. Wegner and A. Yonezawa,
(eds.)
Trends in Object-Based Concurrent Computing,
MIT Press, 1993, 257-280
P. Ciancarini and D. Fogli and M. Gaspari,
A Logic Language based on Gamma-like Multiset Rewriting,
Proc. 5th Workshop on Extensions of Logic
Programming,
LNAI 1050, 83-102, 1996.
P. Ciancarini and D. Fogli and M. Gaspari,
A Logic Language based on Multiset Rewriting,
in JM. Andreoli and C. Hankin and D. LeMetayer,
(eds.)
Coordination Programming: Mechanisms,
Models and Semantics,
Imperial College Press, 1996, 323-348.
S. Castellani and P. Ciancarini,
Enhancing Coordination and Modularity
Mechanisms for a Language with Objects-as-Multisets,
Proc. 1st Int. Conf. on Coordination Models
and Languages,
LNCS 1061, 89-106, 1996.
P. Ciancarini,
Coordination Models and Languages as Software
Integrators,
ACM Computing Surveys, 28(2):300-302,
1996.
P. Ciancarini and M. Gaspari,
Rule Based Coordination of Logic Programs,
Computer Languages, 22(2-3):95-113, 1996.
P. Ciancarini and C. Mascolo,
Using a Coordination Language to Specify
the Invoicing System,
in M. Allemand and C. Attiogbe and H.
Habrias (eds.),
Proc. Int. Workshop on Comparing Systems
Specification Techniques,
Nantes (France), March 1998, 67-82.
P. Ciancarini and D. Rossi,
Jada: Coordination and Communication for Java agents,
in J. Vitek and C. Tschudin (eds.),
Mobile Object Systems: Towards the Programmable
Internet,
LNCS 1222, 1997, 213-228.
P. Ciancarini and F. Franze' and C. Mascolo,
A Coordination Model to Specify Systems
including Mobile Agents,
in Proc. 9th IEEE Int. Workshop on Software
Specification and Design (IWSSD),
Japan 1998, 96-105.
Semantics of Coordination Languages and Models:
Gianluigi Zavattaro.
Towards
a Hierarchy of Negative Test Operators for Generative Communication.
To appear in Proceedings of EXPRESS'98,
volume 16 of Electronic Notes in Theoretical Computer Science, Elsevier,
1998.
Gianluigi Zavattaro.
On
the Incomparability of Gamma and Linda.
Presented at COORDINA meeting in Horta,
June 1998.
Nadia Busi, Roberto Gorrieri, Gianluigi
Zavattaro.
A
Process Algebraic View of Linda Coordination Primitives.
Theoretical Computer Science, volume 192(2),
pag. 167-199, Elsevier, 1998.
Nadia Busi, Roberto Gorrieri, Gianluigi
Zavattaro.
Three
Semantics of the Output Operation for Generative Communication.
In Proceedings of COORDINATION'97, volume
1282 of Lectures Notes in Computer Science, pag. 205-219, Springer, 1997.
Nadia Busi, Roberto Gorrieri, Gianluigi
Zavattaro.
On
the Turing Equivalence of Linda Coordination Primitives.
In Proceedings of EXPRESS'97, volume
7 of Electronic Notes in Theoretical Computer Science, Elsevier, 1997.
Nadia Busi, Roberto Gorrieri, Gianluigi
Zavattaro.
A
Truly Concurrent View of Linda Interprocess Communication.
Technical Report UBLCS-97-02, Department
of Computer Science, University of Bologna, February 1997.
Paolo Ciancarini, Roberto Gorrieri, Gianluigi
Zavattaro.
Towards
a Calculus for Generative Communication.
In Proceedings of FMOODS'96, pag. 283-297,
Chapman & Hall, 1996.
Paolo Ciancarini, Roberto Gorrieri, Gianluigi
Zavattaro.
An
Alternative Semantics for the Parallel Operator of the Calculus of Gamma
Programs.
In J.M. Andreoli, C. Hankin, and D. Le
Metayer, (eds.),
Coordination Programming: Mechanism, Models
and Semantics, pag. 232-248, Imperial College Press, 1996.
Software Architectures for Coordination and Mobility:
P. Ciancarini and D. Rossi and F. Vitali,
The World Wide Web as a Place to Work in,
Proc. 7th IEEE Workshops on Enablings
Technologies: Infrastructure for Collaborative Enterprises (WETICE),
Stanford, June 1998, (to appear).
P. Ciancarini and R. Tolksdorf and F. Vitali
and D. Rossi and A. Knoche,
Coordinating Multiagent Applications on
the WWW: a Reference Architecture,
IEEE Transactions on Software Engineering,
24(5):362-375, 1998.
P. Ciancarini and D. Rossi,
Coordinating Distributed Applets with
Shade/Java,
in Proc. ACM/SIGAPP Symp. on Applied Computing
(SAC 98), 1998, 130-138.
P. Ciancarini and D. Rossi,
Coordinating Java Agents Over the WWW,
World Wide Web, 1(2):87-99, 1998.
P. Ciancarini and A. Knoche and D. Rossi
and R. Tolksdorf and F. Vitali,
Redesigning the Web: From Passive Pages
to Coordinated Agents in PageSpaces,
Proc. 3rd IEEE Int. Symp. on Autonomous
Decentralized Systems (ISADS),
Berlin, April 1997, 377-384.
P. Ciancarini and A. Knoche and D. Rossi
and R. Tolksdorf and F. Vitali,
Coordinating Java Agents for Financial
Applications on the WWW,
Proc. 2nd Conf. on Practical Applications
of Intelligent Agents and MultiAgent Technology (PAAM),
London, April 1997, 179-193.
P. Ciancarini and A. Knoche and R. Tolksdorf
and F. Vitali,
PageSpace : An Architecture to Coordinate
Distributed Applications on the Web,
Proc. 5th Int. WWW Conference, Paris,
1996,
in Computer Networks and ISDN systems,
28(7-11):941-952,1996.
P. Ciancarini and R. Tolksdorf,
Using the Web to Coordinate Distributed
Applications,
Proc. 7th ACM SIGOPS Workshop - Systems
Support for Worldwide Applications,
Connemara, Ireland, 1996, 197-204.
P. Ciancarini and D. Rossi and F.Vitali
and A. Knoche and R. Tolksdorf,
Coordination Technology for the WWW,
Proc. 5th IEEE Workshop on Enabling Technology:
Infrastructure for Collaborative Enterprises
(WETICE),
Stanford 1996, 321-326.
P. Ciancarini and R. Tolksdorf and F. Vitali,
Weaving the Web using Coordination,
Proc. 1st Int. Conf. on Coordination Models
and Languages,
LNCS 1061, 411-415, 1996.