Expressing Priorities, External Probabilities and Time in.pdfVIP

Expressing Priorities, External Probabilities and Time in Process Algebra via Mixed Open/Closed Systems M. Bravetti Technical Report UBLCS-2007-18 June 2007 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are available in PDF and gzipped PostScript formats via anonymous FTP from the area ftp.cs.unibo.it:/pub/TR/UBLCS or via WWW at URL http://www.cs.unibo.it/. Plain-text abstracts organized by year are available in the directory ABSTRACTS. Recent Titles from the UBLCS Technical Report Series 2006-26 FirmNet: The Scope of Firms and the Allocation of Task in a Knowledge-Based Economy, Mollona, E., Marcozzi, A. November 2006. 2006-27 Behavioral Coalition Structure Generation, Rossi, G., November 2006. 2006-28 On the Solution of Cooperative Games, Rossi, G., December 2006. 2006-29 Motifs in Evolving Cooperative Networks Look Like Protein Structure Networks, Hales, D., Arteconi, S., December 2006. 2007-01 Extending the Choquet Integral, Rossi, G., January 2007. 2007-02 Towards Cooperative, Self-Organised Replica Management, Hales, D., Marcozzi, A., Cortese, G., Febru- ary 2007. 2007-03 A Model and an Algebra for Semi-Structured and Full-Text Queries (PhD Thesis), Buratti, G., March 2007. 2007-04 Data and Behavioral Contracts for Web Services (PhD Thesis), Carpineti, S., March 2007. 2007-05 Pattern-Based Segmentation of Digital Documents: Model and Implementation (PhD Thesis), Di Iorio, A., March 2007. 2007-06 A Communication Infrastructure to Support Knowledge Level Agents on the Web (PhD Thesis), Guidi, D., March 2007. 2007-07 Formalizing Languages for Service Oriented Computi