BIBLIOGRAPHY of Ugo Montanari October 2007 Papers published in international scientific journals ===================================================== 1. Montanari, U., A Method for Obtaining Skeletons Using a Quasi Euclidean Distance, Journal ACM, 15, NĽ 4, 600-624 (October 1968). 2. Montanari, U. Sulla Descrizione Strutturale di Immagini, Calcolo, Suppl. NĽ 1, vol. V, pp. 873-894 (1968). 3. Galimberti, R., and Montanari, U., Il Problema delle Linee Nascoste nel Disegno Automatico di Oggetti Tridimensionali, Calcolo, Vol. 5, fasc. 4, 1-15 (Oct.-Dec. 1968). 4. Galimberti, R., and Montanari, U., An Algorithm for Hidden Line Elimination, Communications of the ACM, 12, NĽ 4, 206-211 (April 1969). 5. Montanari, U., Continuous Skeletons from Digitalized Images, Journal ACM, 16, NĽ 4, 534-549 (October 1969) 6. Montanari, U., A Note on Minimal Length Polygonal Approximations to a Digitalized Contour, Communications of the ACM, NĽ 1, 41-47 (January 1970). 7. Montanari, U., On Limit Properties in Digitization Schemes, Journal ACM, 17, NĽ 2, pp. 348-360 (April 1970). 8. Montanari, U., Separable Graphs, Planar Graphs and Web Grammars, Information and Control, Vol. 16, NĽ 3, pp. 243-267 (May 1970). 9. Levi, G., and Montanari, U., A Grey-weighted Skeleton, Information and Control, Vol. 17, NĽ 1, pp. 62-91 (August 1970). 10. Grasselli, A., and Montanari, U., On the Minimization of Read-only Memories in Microprogrammed Digital Computers, IEEE Transactions on Computers, Vol. C-19, NĽ 11, pp. 1111-1114 (November 1970). 11. Montanari, U., Heuristically Guided Search and Chromosome Matching, Artificial Intelligence, 1, 227-245 (1970). 12. Montanari, U., On the Optimal Detection of Curves in Noisy Pictures, Communication of the ACM, 14, NĽ 5, (May 1971). 13. Montanari, U., Networks of Constraints: Fundamental Properties and Applications to Picture Processing, Information Sciences, 7, No2, (April 1974) pp. 95-132. Also Technical Report 71-1, Dept. of Computer Science, Carnegie Mellon University, January 1971. 14. Martelli, A., and Montanari, U., Nonserial Dynamic Programming : On the Optimal Strategy of Variable Elimination for the Rectangular Lattice, Journal of Mathematical Analysis and Applications, 4O, No1, (October 1972), pp. 226-242. 15. Fratta, L., and Montanari, U., A Boolean Algebra Method for Computing the Terminal Reliability in a Communication Network, IEEE Transactions on Circuit Theory, Vol. CT-2O, No3, May 1973, pp. 203-211. 16. Aiello, M., Lami, C., and Montanari, U., Optimal Matching of Wheat Chromosomes, Computer Graphics and Image Processing (1974) 3, pp. 225-235. 17. Fratta, L., and Montanari, U., A Vertex Elimination Algorithm for Enumerating all Simple Paths in a Graph, Networks, 5, April 1975, pp. 151-177. 18. Fratta, L., and Montanari, U., Synthesis of Available Networks, IEEE Transactions on Reliability, Vol. R-25, NĽ 2, June 1976, pp. 81-87; Supplement: NAPS document NĽ 02690-C, 5 pages. 19. Fratta, L., and Montanari, U., A Recursive Method Based on Case Analysis for Computing Network Terminal Reliability, IEEE Trans. on Communications, Vol. COM-26, NĽ 8, August 1978, pp. 1166-1177. 20. Martelli, A., and Montanari, U., Optimizing Decision Trees Through Heuristically Guided Search, Communications of the ACM, December 1978, Vol. 21, NĽ 12, pp. 1025-1039. 21. Gnesi, S., Martelli, A., and Montanari, U., Dynamic Programming as Graph Searching: an Algebraic Approach, Journal of the ACM, Vol. 28, NĽ 4, pp. 737-751 (1981). 22. Martelli, A., and Montanari, U., An Efficient Unification Algorithm, ACM Transactions on Programming Languages and Systems, Vol. 4, NĽ 2, pp. 258-282 (April 1982). 23. Inverardi, P., Levi, G., Montanari, U., and Vallario, G.N., A Distributed KAPSE Architecture, ACM Ada Letters, vol. 3, NĽ 2, pp. 55-61 (1983). 24. Degano, P. and Montanari, U. A Model of Distributed Systems Based on Graph Rewriting, Journal of the ACM Vol. 34, NĽ2, April 1987, pp. 411-449. 25. Degano, P. and Montanari, U. Concurrent Histories: A Basis for Observing Distributed Systems, Journal of Computer and System Sciences, April/June 1987, vol. 34, No.2/3, 422-461. 26. Degano, P., De Nicola, R. and Montanari, U., A Distributed Operational Semantics For CCS Based On Condition/Event Systems, Acta Informatica 26, pp.59-91 (1988). 27. Degano, P., De Nicola, R. and Montanari, U., A Partial Ordering Semantics For CCS, TCS 75 (1990) 223-262. 28. Meseguer, J. and Montanari, U., Petri Nets are Monoids, Info and Co, Vol. 88, No. 2 (October 1990), 105-155. Also SRI-CSL-88-3, January 1988. 29. Gorrieri, R., Marchetti, S. and Montanari, U., A2CCS: Atomic Actions for CCS, TCS 72 (1990) 203-223. 30. Montanari, U. and Rossi, F., Constraint Relaxation May Be Perfect, Artificial Intelligence 48 (1991), pp. 143-170. Also Technical Report TRĐ21/89, Dipartimento di Informatica, Pisa, May 1989. 31. Gorrieri, R., and Montanari, U., Toward Hierarchical Description of Systems: a Proof System for Strong Prefixing, International Journal on Foundations of Computer Science, Vol.1 No. 3 (1990) pp. 277-293. 32. Corradini, A. and Montanari, U., An Algebraic Semantics for Structured Transition Systems and its Application to Logic Programs, TCS 103 (1992) pp. 51-106. 33. Montanari, U and Sassone, V., Dynamic Congruence vs. Progressing Bisimulation for CCS, Fundamenta Informaticae XVI (1992) pp. 171-199. 34. Montanari, U., and Rossi, F., Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming, TCS 109 (1993) pp. 225-256. 35. Degano, P., De Nicola, N. and Montanari, U., Universal Axioms for Bisimulations, TCS 114 (1993) pp.63-91; also, as extended abstract, in: E. Best, G. Rozenberg, Eds., Proc. 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991, Technical Report GMDĐStudien Nr. 191 (also Hildesheimer Informatik-Bericht 6/91), May 1991, pp. 67-72. 36. De Francesco, N., Montanari, U. and Yankelevich, D., Axiomatizing CCS, Nets and Processes, Science of Computer Programming, Vol. 21, No.3, 1993, pp.225-261. 37. Corradini, A., Montanari, U. and Rossi, F., An Abstract Machine for Concurrent Modular Systems: CHARM, TCS 122 (1994) 165-200. 38. Montanari, U. and Yankelevich, D., Combining CCS and Petri Nets Via Structural Axioms, Fundamenta Informaticae 20 (1994) pp. 193-229. 39. Gorrieri, R. and Montanari, U., On the Implementation of Concurrent Calculi into Net Calculi: Two Case Studies, TCS 141, 1-2, 1995 pp.195-252. 40. Degano, P., Meseguer, J. and Montanari, U., Axiomatizing the Algebra of Net Computations and Processes, Acta Informatica Vol.33(7), (October 1996) pp.641-667. Also Technical Report TR-1/91, Dipartimento di Informatica, University of Pisa, January 1991, and Technical Report SRI-CSL-90-12, SRI International, Menlo Park, December 1990. 41. Corradini, A., Montanari, U. and Rossi, F., Graph Processes, Fundamenta Informaticae, vol. 26, n 3/4 (1996) pp.241-265. 42. Montanari, U. and Yankelevich, D., Location Equivalence in a Parametric Setting, TCS 149 (1995), pp.299-332. 43. Ferrari G. L., Montanari, U. and Mowbray, M., Structured Transition Systems with Parametric Observations: Minimal Realizations and Observational Congruences, MSCS Vol. 7, pp.241-282, 1997. 44. Laneve, C. and Montanari, U., Axiomatizing Permutation Equivalence, Math. Struct. in Comp. Sc. (1996), vol.6, pp.219-249. 45. Meseguer, J., Montanari, U and Sassone, V., Process versus Unfolding Semantics for Place/Transition Petri Nets, TCS, Volume 153, issue 1-2, (1996) pages 171-210. 46. Montanari, U. and Rossi, F. , Contextual Nets, Acta Informatica 32, 545-596 (1995). Also Technical Report TR-4/93, Dipartimento di Informatica, Pisa. 47. Ferrari, G., Montanari, U. and Quaglia, P., A p-calculus with Explicit Substitutions, TCS-c Vol. 168, 1, Nov. 1996, pp.53-103. 48. Bueno, F., Hermenegildo, M., Montanari, U. and Rossi, F., Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs, Science of Computer Programming, Vol.30, 1-2, pp.51-82, 1997. 49. Meseguer, J., Montanari, U and Sassone, V. On the Semantics of Place/Transition Petri Nets, MSCS, Vol.7, pp.359-397, 1997. Also Technical Report TR-27/92, Dipartimento di Informatica, University of Pisa, September 1992, and Technical Report SRI-CSL-92-09, SRI International, Menlo Park, September 1992. 50. Montanari, U and Ristori, G., A Concurrent Functional Semantics for a Process Algebra based on Action Systems, Fundamenta Informaticae 31 (1997), pp.357-377. 51. Bistarelli, S., Montanari, U. and Rossi, F., Semiring-Based Constraint Satisfaction and Optimization, Journal of the ACM, Vol. 44, n.2 (March 1997), pp.201-236. 52. Montanari, U. and Rossi, F., Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems, Applied Categorical Structures, Vol.7, pp.333-370, 1999. 53. Ferrari, G.L. and Montanari. U., Parametrized Structured Operational Semantics, Fundamenta Informaticae 34 (1998) pp. 1-31. 54. Ferrari, G. and Montanari, U., Tile Formats for Located and Mobile Systems, Information and Computation, Vol. 156, No. 1/2, pp. 173-235, January 2000. 55. Bruni, R. and Montanari, U., Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, Information and Computation, Vol. 156, No. 1/2, pp. 46-89, January 2000. 56. Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T. and Verfaille, G., Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison'', CONSTRAINTS, 4(3): 199-240, 1999. 57. Bruni, R., Meseguer, J. and Montanari, U., Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic, MSCS (2002), vol.12, pp. 53-90. 58. Gadducci, F. and Montanari, U., Comparing Logics for Rewriting: Rewriting Logic, Action Calculi and Tile Logic, TCS, Vol. 285, Issue 2, 28 August 2002, Pages 319-358. 59. Bistarelli, S., Montanari, U. and Rossi, F., Soft Constraint Logic Programming and Generalized Shortest Path Problems, Journal of Heuristics, 8: 25Đ41, 2002. 60. Bruni, R., Gadducci, F. and Montanari, U., Normal Forms for Algebras of Connections, TCS, vol 286 (2002) pp 247-292. 61. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V., Functorial Models for Petri Nets, Information and Computation, 170, 207-236, 2001. 62. Baldan, P., Corradini, A. and Montanari, U., Contextual Petri Nets, Asymmetric Event Structures and Processes, Information and Computation, 171, 1-49, 2001. 63. Corradini, A., Heckel, R. and Montanari, U., Compositional SOS and Beyond: A Coalgebraic view of Open Systems, TCS 280 (2002) 163-192. Also TR 01-01-01 Dipartimento di Informatica, University of Pisa, 2001. 64. Bistarelli, S., Montanari, U. and Rossi, F., Semiring-Based Constraint Logic Programming: Syntax and Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 23 , Issue 1 (January 2001), pp.1-29. 65. Bruni, R., Montanari, U. and Rossi, F., An Interactive Semantics of Logic Programming, TPLP 6 (1): 647-690, November 2001. 66. Bruni, R. and Montanari, U., Dynamic Connectors for Concurrency, TCS, 281(1-2):131--176, 2002. 67 Bruni, R. and Montanari, U., Concurrent Models for Linda with Transactions, MSCS 14(3), pp.421-468, 2004. 68. Montanari, U. and Pistore, M., Structured Coalgebras and Minimal HD-Automata for the Pi-Calculus, TCS 340 (3), pp. 539-576, 2005. 69. Ferrari, G., Gnesi, S., Montanari, U. and Pistore, M., A Model Checking Verification Environment for Mobile Processes, ACM Transactions on Software Engineering and Methodology, (TOSEM) Vol.12 (4), pp. 440 - 473, 2003. 70. Bistarelli, S., Montanari, U. and Rossi, F., Soft Concurrent Constraint Programming, ACM Transactions on Computational Logic, Vol. 7, No. 3, July 2006, Pages 1Đ27. 71. Ferrari, G., Montanari, U. and Tuosto, E., Coalgebraic Minimization of HD-Automata for the ą-Calculus Using Polymorphic Types, TCS Vol.331 (2-3) pp. 325-365, 2005. 72. Bruni, R., Montanari, U. and Sassone, V., Observational Congruences For Dynamically Reconfigurable Tile Systems, TCS Vol.335/2 pp 331-372, 2005. 73. Lluch Lafuente, A. and Montanari, U., Quantitative mu-Calculus and CTL Defined over Constraint Semirings, TCS, Vol. 346 pp.135-160, 2005. 74. Gadducci, F., Miculan, M. and Montanari, U., About Permutation Algebras, (Pre)Sheaves and Named Sets, Higher-Order Symb Comput (2006) 19:283Đ304. 75. Bruni, R., Lanese, I. and Montanari, U., A Basic Algebra of Stateless Connectors, TCS, Vol. 366,1-2 (2006), pp 98-120. 76. Lanese, I. and Montanari, U., Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming, Theory and Practice of Logic Programming. Volume 7, Issue 1 & 2. January 2007, 44pp. 77. Baldan, P., Corradini, A, Montanari, U. and Ribeiro. L., Unfolding Semantics of Graph Transformation, Information and Computation 205 (2007) 733Đ782. 78. Buscemi, M.G. and Montanari, U., A Compositional Coalgebraic Model of Fusion Calculus, JLAP, 72 (2007) pp. 78Đ97. Papers published in national scientific journals ================================================ 79. Montanari, U., Processi Cooperanti, Rivista di Informatica, 4, 3-4 (1973), pp. 323-333. 80. Montanari, U. , L'Analisi di Scene, Automazione e Strumentazione, Vol. XXIII NĽ2, February 1974, pp.79-81. 81. Montanari, U., Data Structures, Program Structure and Graph Grammars, Rivista di Informatica, Vol. VII, Suppl. NĽ 1, Jan-Mar. 1977, pp. 109-125. 82. Asirelli, P., Martelli, A., and Montanari, U., Costrutti e linguaggi di programmazione con controllo degli effetti laterali, Rivista di Informatica, Vol. 9, NĽ 4 (1979). Papers published in the proceedings of international scientific =============================================================== conferences or in edited collections of contributions ===================================================== 83. Clerici, R., Grasselli, A., Levi, G., Martelli, A., Montanari, U., and Sirovich, F., Activities in Image Processing at the Istituto di Elaborazione dell'Informazione, Acta, Colloque International sur la Reconnaissance des Forms, Grenoble, September 1968, pp. 337-375. 84. Montanari, U., On the Optimal Approximation of Discrete Functions with Low-Dimensional Tables. Information Processing 71, North Holland (1972), pp. 1363-1368. 85. Martelli, A., and Montanari, U., Optimal Smoothing in Picture Processing: An Application to Fingerprints, Information Processing 71, North Holland (1972), pp. 173-178. 86. Montanari, U., and Reddy, R., Computer Processing of Natural Scenes; Some Unsolved Problems, XXI AGARD Avionics Panel Technical Symposium on Artificial Intelligence, Rome, May 24-28, 1971, Conference Proc. on Artificial Intelligence. 87. Martelli, A., and Montanari, U., An Application of Heuristically Guided Search to Elimination Processes, International Computing Symposium, Venice, April 12-14, 1972, pp. 59-72. 88. Fratta, L., and Montanari, U., Terminal Reliability in a Communication Network: An Efficient Algorithm, Second International Symposium on Network Theory, Herceg-Novi, July 3-7, 1972, pp. 391-398. 89. Martelli, A., and Montanari, U., Additive AND-OR Graphs, Third International Joint Conference on Artificial Intelligence, Stanford, August 20-23, 1973, pp. 1-11. 90. Aiello Carlucci, L., and Montanari, U., Towards a Formal Definition of Control in Structured Programming Symposium on the Mathematical Foundations of Computer Science, High Tatras, September 3-8, 1973, pp. 169-174. 91. Martelli, A., and Montanari, U., On the Foundation of Dynamic Programming, in: R. Rinaldi, Ed.:Topics in Combinatorial Optimization, Springer, 1975, pp. 145-163. 92. Aiello, M., Lami, C., and Montanari, U., A System for Computer Measurement and Karyotyping of Wheat Metaphases, First International Joint Conference on Pattern Recognition, Washington, October 30-November 1, 1973, pp. 205-219. 93. Martelli, A., and Montanari, U., Dynamic Programming Schemata, in: Jacques Loeckx, Ed., Automata, Languages and Programming, 1974, Springer LNCS 14, pp. 66-80. 94. (invited paper) Montanari, U., Optimization Methods in Image Processing IFIP Congress 74, Stockholm, August 5-10, 1974, pp. 727-732. 95. (invited paper) Montanari, U., Recent Progress in Picture Processing and Scene Analysis, Second International Joint Conference on Pattern Recognition, Lyngby-Copenhagen, August 13-15, 1974, pp. 513-516. 96. Fratta, L., and Montanari, U., Analytical Techniques for Computer Network Design, International Workshop on Modelling and Evaluation of Computer Architectures and Networks, Rocquencourt-Paris, August 12-14, 1974, pp. 155-185. 97. Infante, R., and Montanari, U., Proving Structured Programs Correct, Level by Level, 1975 International Conference on Reliable Software, 21-23 April 1975, Los Angeles, pp. 427-436. 98. Martelli, A., and Montanari, U., From Dynamic Programming to Search Algorithms with Functional Costs, Fourth International Joint Conference on Artificial Intelligence, Tbilisi, September 3-8, 1975, pp. 345-350. 99. Giarratana, V., Gimona, F. and Montanari, U., Observability Concepts in Abstract Data Type Specification, invited talk, in: A. Mazurkievicz Ed., Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science, 45, Springer 1976. 100. Fratta, L., and Montanari, U., Decomposition Techniques for Evaluating Network Reliability, Proc. 8th International Teletraffic Congress, Melbourne, November 1976, pp. 314. 1-4. 101. Montanari, U., Analogies Between Data and Control Structures in Programming Languages. The Special Case of String, Tree and Graph Regular Transducers, Proc. Int. Workshop on Semantics of Programming Languages, Bad Honnef, March 21-25, 1977. 102. Martelli, A., and Montanari, U., Theorem Proving with Structure Sharing and Efficient Unification, Nota Scientifica S-77-7, Computer Science Dept., Univ. of Pisa, February 1977; also as short paper in Proc. 5th Int. Joint Conf. on Artificial Intelligence, Boston, August 22-25, 1977, p. 543. 103. Catalano, A., Gnesi, S., and Montanari, U., Shortest Path Problems and Tree Grammars: An Algebraic Framework, Proc. Workshop on Graph Grammars and Their Applications in Computer Science and Biology, Bad Honnef, October 1978. 104. Asirelli, P., Degano, P., Levi, G., Martelli, A., Montanari, U., Pacini, G., Sirovich, F., and Turini, F., A Flexible Environment for Program Development Based on a Symbolic Interpreter, 4th International Conference on Software Engineering, pp. 251-263 (September 17-19, 1979). 105. De Nicola, R., Martelli, A., and Montanari, U., Communication Trough Message Passing or Shared Memory: a Formal Comparison, 2nd International Conference on Distributed Computing Systems, Versailles (April 6-10, 1981). 106. Montanari, U., An Easy Interface for a Distributed System, Workshop on Models of Dialogue, pp. 93-104, Linkoping (January 15-16, 1981). 107. Castellani, I., Franceschi, P., and Montanari, U., Labeled Event Structures: a Model for Observable Concurrency, D. Bjorner, Ed.:Formal Description of Programming Concepts - II, North-Holland, 383-389 (1983). 108. Montanari, U., Towards an Integration Between Language and Software Development Environments, D. Ferrari, M. Bolognani, J. Goguen, Eds.: Theory and Practice of Software Technology, North Holland(1983), 195-202. 109. Castellani, I., and Montanari, U., Graph Grammars for Distributed Systems, H. Ehrig, M. Nagl and G. Rozenberg, Eds.:Graph Grammars and their Application to Computer Science, Springer Lecture Notes in Computer Science Vol. 153 (1982), 20-38. 110. Inverardi, P., Montanari, U., and Vallario, G.N., How to Develop a Programming Environment Almost Completely in a Compiled Language, H.J.Schneider Ed., Proc. International Computing Symposium 1983 on Application Systems Development, Teubner (1983), 429-438. 111. Degano, P. and Montanari, U. Liveness properties as convergence in metric spaces, 16th ACM Annual Symposium on Theory of Computing, Washington, D.C. (USA), 1984, pp.31-38. 112. Degano, P. and Montanari, U. Specification languages for modelling concurrency, In: Parallel Integrated Technology for Image Processing (S. Levialdi Ed.), Academic Press, 1985, pp.1-18. 113. Degano, P. and Montanari, U. Distributed systems, partial orderings of events and event structures, In: Control Flow and Data Flow - Concepts of Distributed Programming (M. Broy Ed.), NATO ASI Series F, Vol. 14, Springer, Berlin, 1985, pp. 7-106. 114. Degano, P. and Montanari, U. Specification languages for distributed systems, Proc. Joint Conference on Theory and Practice of Software Development, Advanced Seminar on the R™le of Semantics in Software Development, Lecture Notes in Computer Science, Vol. 185, Springer, Berlin, 1985, pp. 29-51. 115. Corradini, A., Degano, P. and Montanari, U. Specifying highly concurrent data structure manipulation, ACM Int. Comp. Symp. 1985, Firenze, North-Holland, pp. 424-428. 116. Degano, P., De Nicola, R. and Montanari, U. Partial ordering derivations for CCS, Proc. 5th Int. Conf. Fundamentals of Computation Theory, Cottbus (D.D.R.) 1985, Lecture Notes in Computer Science, Vol. 199, Springer, Berlin, pp. 520-533. 117. Degano, P., De Nicola,R. and Montanari, U. Observational Congruences for Concurrency Models, Proc. IFIP TC2 Workshop on Formal Description of Programming Concepts IV, North-Holland, 1987, M. Wirsing, Ed., 105-132. 118. Degano, P., De Nicola, R. and Montanari, U., CCS is an (Augmented) Contact Free C/E System, Proc. Adv. Sch. on Mathematical Models for the Semantics of Parallelism, Rome, Italy, 1986, Lecture Notes in Computer Science, Vol. 280, Springer, Berlin, pp. 144-165. 119. Montanari, U. and Rossi, F., An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints, Proc. Int. Workshop on Graph Grammars and Their Application to Computer Science, Warrenton, USA, Dec 1986, H. Ehrig, Ed., Lecture Notes in Computer Science, Vol. 291, Springer, Berlin, pp. 440-457,1987. 120. Parisi-Presicce, F., Ehrig, H. and Montanari, U., Graph Rewriting with Unification and Composition, Proc. Int. Workshop on Graph Grammars and Their Application to Computer Science, Warrenton, USA, Dec 1986, H. Ehrig, Ed., Lecture Notes in Computer Science, Vol. 291, Springer, Berlin, pp. 496-514, 1987. 121. Montanari, U. and Rossi, F., Fundamental Properties of Networks of Constraints: A New Formulation, Search in Artificial Intelligence , L. Kanal and V. Kumar, Eds., Springer Series in Symbolic Computation, pp. 426-449, 1988. 122. Montanari, U. and Sgamma, M., Canonical Representatives for Observational Equivalence Classes, in: H. A•tĐKaci and M. Nivat, Eds., Resolution Of Equations In Algebraic Structures, Vol. 1, Algebraic Techniques, Academic Press, 1989, pp. 293-319. 123. Fantechi, A., Gnesi, S., Inverardi, P. and Montanari, U., An Execution Environment for the Formal Definition of ADA, Proc. ESEC 1987, Springer LNCS 289, pp. 327-335. 124. Gorrieri, R., Marchetti, S. and Montanari, U., A2CCS: A Simple Extension Of CCS For Handling Atomic Actions, Proc. CAAP 1988, Springer LNCS 299, pp. 258-270. 125. Meseguer, J. and Montanari, U., Petri Nets are Monoids: A New Algebraic Foundations for Net Theory, Proc. 3rd Symp. on Logics in Computer Science, IEEE 1988, pp.155-164. 126. Degano, P., De Nicola, R. and Montanari, U., On the Consistency of "Truly Concurrent" Operational and Denotational Semantics, Proc. 3rd Symp. on Logics in Computer Science, IEEE 1988, pp.133-141. 127. Degano, P., De Nicola, R. and Montanari, U., Partial Orderings Descriptions and Observations of Nondeterministic Concurrent Processes, in: J. de Bakker, W. de Roever, and G. Rozenberg Eds., Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer 1989, pp.438Đ466. 128. Degano, P., De Nicola, R. and Montanari, U., On the Operational Semantics of Distributed Concurrent Systems, in: G. David, R.T. Boute and B.D. Shriver, Eds., Declarative Systems, North-Holland 1990, pp. 3-32. 129. Degano, P., Meseguer, J. and Montanari, U., Axiomatizing Net Computations and Processes, Proc. 4th Symp. on Logics in Computer Science, IEEE 1989, pp. 175-185. 130. Rossi, F. and Montanari, U., Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming, Proc. META88, Bristol, June 1988, MIT Press, pp.117-131. 131. Rossi, F. and Montanari, U., Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation, Proc. 1st Knowledge Representation Conference, Toronto, May 1989, pp. 394-399. 132. Montanari, U. and Yankelevich D. N., An Algebraic View of Interleaving and Distributed Operational Semantics for CCS, Category Theory and Computer Science '89, Springer LNCS 389, pp.5-20. 133. Corradini, A. and Montanari, U., Toward a Process Semantics in the Logic Programming Style, in C. Choffrut and T. Lengauer, Eds., STACS 90, Springer LNCS 415, pp. 95-108. 134. Montanari, U., CEDISYS Compositional Distributed Systems: State of the Art, Research Goals, References, in: G. Rozenberg, ed., Advances in Petri Nets '89, Springer LNCS 424, 1990, pp. 507-524. Also TR-37/89 Dipartimento di Informatica, UniversitaŐ di Pisa. 135. Corradini, A. and Montanari, U., An Algebraic Representation of Logic Program Computations, July 1989,Technical Report TR-36/89, Dipartimento di Informatica, University of Pisa, November 1989. Also as invited paper in: J.-L. Lassez and G. Plotkin, Eds., Festschrift in Honor of J. A. Robinson, MIT Press, 1991, pp. 584-612. 136. Ferrari, G.L. and Montanari, U.,Towards the Unification of Models for Concurrency, in: A. Arnold, Ed., CAAP'90, Springer LNCS 431, pp. 162-176. 137. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., and Lšwe, M., Graph Grammars and Logic Programming, in: H. Ehrig, H.-J. Kreowski and G. Rozenberg, Eds., Graph Grammars and Their Application to Computer Science, Springer LNCS 532, pp. 221-237, 1991. 138. Rossi, F., and Montanari, U., Constraint Relaxation as Higher Order Logic Programming, Proc. META '90, Leuven, April 1990, pp. 82-101. 139. Corradini, A., Ferrari G. L. and Montanari, U., Transition Systems with Algebraic Structure as Models of Computations, in: I. Guessarian, Ed., Semantics of Systems of Concurrent Processes, Springer LNCS 469, 1990, pp.185-222. 140. Gorrieri, R., and Montanari, U., SCONE: A Simple Calculus of Nets, invited talk, in: J. C. M. Baeten and J. W. Klop Eds., CONCUR'90, Springer LNCS 458, 1990, pp. 2-30. 141. De Nicola, R., Montanari, U. and Vaandrager, F., Back and Forth Bisimulations, in: J. C. M. Baeten and J. W. Klop Eds., CONCUR'90, Springer LNCS 458, 1990, pp. 152-165. 142. Corradini, A. and Montanari, U., An Algebraic Semantics of Logic Programs as Structured Transition Systems, invited talk, Proc. North American Conference on Logic Programming (NACLP) 1990, Austin, Texas, MIT Press, pp.788-812. 143. Ferrari G. L., Montanari, U. and Mowbray, M., Causal Streams: Tracing Causality in Distributed Systems (Extended Abstract), in: E. Best, G. Rozenberg, Eds., Proc. 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991, Technical Report GMDĐStudien Nr. 191 (also Hildesheimer Informatik-Bericht 6/91), May 1991, pp. 99-108. 144. Ferrari, G. L., Gorrieri, R. and Montanari, U., An Extended Expansion Theorem, Invited Talk, TAPSOFT'91, Vol.2, LNCS 494, pp.29-48. 145. Ferrari G. L., Montanari, U. and Mowbray, M., On Causality Observed Incrementally, Finally, TAPSOFT'91, Vol.1, LNCS 493, pp.26-41. 146. Gorrieri, R. and Montanari, U., Distributed Implementation of CCS, Proc. 12th International Conference on Applications and Theory of Petri Nets, 1991, pp. 329-348. Also in: G. Rozenberg, Ed., Advances in Petri Nets 1993, Springer LNCS 674, pp.244-266. 147. Montanari, U. and Rossi, F., Perfect Relaxation in Constraint Logic Programming, in: K. Furukawa, Ed., Proc. 8th Int. Conf. on Logic Programming, MIT Press, 1991, pp. 223-237; also Technical Report TR-15/90, Dipartimento di Informatica, University of Pisa, March 1990. 148. Ferrari, G. L. and Montanari, U., The Observation Algebra of Spatial Pomsets, Proc. CONCUR'91, Springer LNCS 527, pp.188-202. 149. Ferrari, G. L. and Montanari, U., The Observation Algebra of Spatial Histories (extended abstract), in: E. Best, G. Rozenberg, Eds., Proc. 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991, Technical Report GMDĐStudien Nr. 191 (also Hildesheimer Informatik-Bericht 6/91), May 1991, pp. 109-112. 150. Corradini, A. and Montanari, U., An Algebra of Graphs and Graph Rewriting, invited talk, Proc. 4th Conference on Category Theory and Computer Science, Spriger LNCS 530, pp. 236-260, 1991. 151. Montanari, U. and Sassone, V., CCS Dynamic Bisimulation is Progressing, January 1991, Proc. MFCS'91, Springer LNCS 520, pp. 346-356. 152. Montanari, U. and Rossi, F., True-Concurrency in Concurrent Constraint Programming, in V. Saraswat and K. Ueda, Eds., Proc. International Logic Programming Symposium '91, MIT Press, pp.694-713. 153. Montanari, U. and Rossi, F. , Finite Domain Constraint Problems and their Relationship with Logic Programming, in: C. W. Holsapple and A. Whinston, Eds., Recent Developments in Decision Support Systems, Springer NATO ASI Series F-101, 1992, pp 53-71. 154. Montanari, U. and Rossi, F., Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics, in: J.-C. Raoult, Ed., CAAP'92, Springer LNCS 581, pp. 232-247. 155. Corradini, A., Montanari, U. and Rossi, F., CHARM: Concurrency and Hiding in an Abstract Rewriting Machine, Proc.FGCS'92, Vol.2, Ohmsha 1992, pp. 887-896. 156. Montanari, U. and Rossi, F., An Event Structure Semantics for Concurrent Constraint Programming, Proc. Workshop on Constraint Logic Programming, Tokyo, June 1992. 157. Montanari, U., True Concurrency: Theory and Practice, in: Bird, Richard S. (ed.) et al., Mathematics of Program Construction, 2nd International Conference, Springer LNCS 669 (1993), pp.14-17. 158. Montanari, U. and Yankelevich, D., A Parametric Approach to Localities, in: W. Kuich, Ed., Automata, Languages and Programming, 19th International Colloquium, Springer LNCS 623, 1992, pp. 617-628. 159. Meseguer, J., Montanari, U and Sassone, V. On the Semantics of Petri Nets, in: W. R. Cleaveland, Ed., CONCUR '92, Third International Conference on Concurrency Theory, Springer LNCS 630, pp. 286-301. 160. Degano, P., De Nicola, N. and Montanari, U., Observation Trees, extended abstract, in: S. Purushothaman and A. Zwarico, Eds., Proc. First North American Process Algebra Workshop (NAPAW), Stony Brook, NY, August 28, 1992, Technical Report 92-15 Johns Hopkins University, Dept of Computer Science (also Technical Report 92-17 Pennsylvania State University, Dept of Computer Science), August 1992, pp. 7.1-14. Also in: S. Purushothaman and A. Zwarico, Eds., First North American Process Algebra Workshop, Springer Workshops in Computing, 1993. 161. Laneve, C. and Montanari, U., Mobility in the CC-Paradigm, in: I. M. Havel and V. Koubek, Eds., Mathematical Foundations of Computer Science 1992, 17th International Symposium, Springer LNCS 629, 1992, pp. 336-345. 162. Laneve, C. and Montanari, U., Axiomatizing Permutation Equivalence in the Lambda Calculus, in: H. Kirchner and G. Levi, Eds., Algebraic and Logic Programming, Third International Conference, Volterra, Italy, Springer LNCS 632, 1992, pp. 350-363. 163. Montanari, U. and Rossi, F. , Finite Domain Constraint Solving and Constraint Logic Programming, in: F. Benhamou and A. Colmerauer, Eds., Constraint Logic Programming: Selected Research, MIT Press, 1993, pp.201-221. 164. De Francesco, N., Montanari, U. and Yankelevich, D., Axiomatizing Different Views of Distributed Systems, Proc. ERCIM Workshop on Theory and Practice in Verification, IEI-CNR, Pisa, December 1992. 165. Montanari, U. and Rossi, F., Constraint Satisfaction, Constraint Programming and Concurrency, Position Papers 1st Workshop on Principles and Practice of Constraint Programming, Newport, RI, April 28-30 1993, pp. 230-238. 166. Corradini, A., Ehrig, H., Lšwe, M., Montanari, U. and Rossi, F., A Note on Standard Representation of Graphs and Graph Derivations, in: Hans Jźrgen Schneider and Hartmut Ehrig, Eds., Graph Transformations in Computer Science, Springer LNCS 776, pp. 86-103, 1994. 167. Corradini, A., Ehrig, H., Lšwe, M., Montanari, U. and Rossi, F., Abstract Graph Derivations in the Double Pushout Approach, in: Hans Jźrgen Schneider and Hartmut Ehrig, Eds., Graph Transformations in Computer Science, Springer LNCS 776, pp. 104-118, 1994. 168. Montanari, U. and Rossi, F., Contextual Occurrence Nets and Concurrent Constraint Programming, in: Hans Jźrgen Schneider and Hartmut Ehrig, Eds., Graph Transformations in Computer Science, Springer LNCS 776, pp. 280-295, 1994. 169. Corradini, A., Ehrig, H., Lšwe, M., Montanari, U. and Rossi, F., An Event Structure Semantics for Safe Graph Grammars, Proc. PROCOMETŐ94, IFIP TC2 Working Conference,.San Miniato, June 6-10, 1994, North-Holland, pp. 417-439. Final version in Ernst-Ruediger Olderog, Ed., Programming Concepts, Methods and Calculi, IFIP Transactions A-56, North Holland, 1994, pp. 423-444. 170. De Francesco, N., Montanari, U. and Ristori G., Modeling Concurrent Accesses to Shared Data via Petri Nets, Proc. PROCOMETŐ94, IFIP TC2 Working Conference, San Miniato, June 6-10, 1994, North-Holland, pp. 397-417. Final version in Ernst-Ruediger Olderog, Ed., Programming Concepts, Methods and Calculi, IFIP Transactions A-56, North Holland, 1994, pp. 403-422. Also Technical Report TR-10/93, Dipartimento di Informatica, University of Pisa, May 1993. 171. Bueno, F., Garcia de la Banda, M.J., Hermenegildo, M., Rossi, F. and Montanari, U., Towards a Concurrent Semantics Based Analysis of CC and CLP, Proc. 1994 Workshop on Principles and Practice of Constraint Programming, Orcas Island, May 2-4 1994. Also in Alan Borning, Ed., Principles and Practice of Constraint Programming, Springer LNCS 874, pp. 151-161. 172. Montanari, U., Rossi, F and Saraswat, V., CC Programs with Both In- and Non-Determinism: A Concurrent Semantics, Proc. 1994 Workshop on Principles and Practice of Constraint Programming, Orcas Island, May 2-4 1994. Also in Alan Borning, Ed., Principles and Practice of Constraint Programming, Springer LNCS 874, pp. 162-172. 173. Ferrari, G., Montanari, U. and Quaglia, P., A p-calculus with Explicit Substitutions: the Late Semantics, in: I. Privara, B. Roman and P. Ruzicka, Eds., Mathematical Foundations of Computer Science 1994, Springer LNCS 841, pp. 342-351. 174. Meseguer, J., Montanari, U and Sassone, V., On the Model of Computation of Place/Transition Petri Nets, invited talk, in: R. Valette, Ed., Application and Theory of Petri Nets 1994, Springer LNCS 815, pp.16-38. 175. Bueno, F., Garcia de la Banda, M.J., Hermenegildo, M., Montanari, U. and Rossi, F., From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics, in: Giorgio Levi and Mario Rodr’guez-Artalejo, Eds. Algebraic and Logic Programming, Springer LNCS 850, pp114-132, 1994. 176. Montanari, U. and Pistore, M., Concurrent Semantics for the p-calculus, in: S. Brookes, M. Main, A. Melton and M. Mislove, Eds., Procs. MFPSŐ95, ENTCS Vol1, p.411-429, 1995, available from http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/menu.htm. 177. Montanari, U. and Rossi, F., Concurrent Semantics for CC Programs, in: V. Saraswat and P. Van Hentenryck, Eds, Principles and Practice of Constraint Programming, MIT Press, 1995, pp. 3-27. 178. Corradini, A., Ehrig, H., Lšwe, M., Montanari, U. and Rossi, F., An Event Structure Semantics for Graph Grammars with Parallel Productions, in: J. Cuny, H. Ehrig, G. Engels and G. Rozenberg, Eds., Graph Grammars and Their Application to Computer Science, Springer LNCS 1073, pp.240-256. 179. Corradini, A., Ehrig, H., Lšwe, M., Montanari, U. and Padberg, J., Functorial Semantics for Safe Graph Grammars Using Prime Algebraic Domains and Event Structures, Proc. Fifth International Workshop on Graph Grammars and Their Application to Computer Science, Williamsburgh, Virginia, November 13-18, 1994, pp.120-126. 180. Corradini, A., Ehrig, H., Lšwe, M., Montanari, U. and Padberg, J., The Category of Typed Graph Grammars and its Adjunction with Categories of Derivations, in: J. Cuny, H. Ehrig, G. Engels and G. Rozenberg, Eds., Graph Grammars and Their Application to Computer Science, Springer LNCS 1073, pp.56-74. 181. Montanari, U. and Rossi, F., Concurrency and Concurrent Constraint Programming, in: Andreas Podelski, Ed., Constraint Programming: Basics and Trends, Springer LNCS 910, 1995, p171-192. 182. Corradini, A. and Montanari, U., Specification of Concurrent Systems: from Petri Nets to Graph Grammars, in: Gźnter Hommel, ed., Quality of Communication-Based Systems, Kluwer, 1995, pp. 35-52. 183. Corradini, A., Gadducci, F. and Montanari, U., Relating Two Categorical Models of Term Rewriting, in: Jieh Hsiang, Ed., Rewriting Techniques and Applications, LNCS 914, 1995, pp. 225-240. 184. Ferrari, G.L. and Montanari, U., Dynamic Matrices and the Cost Analysis of Concurrent Programs, in: V. S. Alagar, Maurice Nivat, Eds., Algebraic Methodology and Software Technology 1995, Springer LNCS 936, pp. 307-321. 185. Bistarelli, S., Montanari, U. and Rossi, F., Constraint Solving Over Semirings, Proc. IJCAI'95, Vol. 1, pp. 624-630. 186. Ferrari, G. L., Montanari, U. and Quaglia, P., The Weak Late pi-calculus Semantics as Observation Equivalence, in: Insup Lee, Scott A. Smolka, Eds., CONCUR'95: Concurrency Theory, Springer LNCS 962, pp. 57-71. 187. Montanari, U. and Pistore, M., Checking Bisimilarity for Finitary pi-calculus, in: Insup Lee, Scott A. Smolka, Eds., CONCUR'95: Concurrency Theory, Springer LNCS 962, pp. 42-56. 188. Gadducci, F., and Montanari, U., Enriched Categories as Models of Computation, in: Alfredo De Santis, Ed., Fifth Italian Conference on Theoretical Computer Science, pp. 20-42, World Scientific,1995. Paper available from http://www.di.unipi.it/~gadducci/papers/ICTCS95.ps. 189. Montanari, U., Pistore, M., and Yankelevich, D., Efficient Minimization up to Location Equivalence, in: Hanne Riis Nielson, Ed., Programming Languages and Systems - ESOP'96, Springer LNCS 1058, pp. 265-279. 190. Montanari, U., and Rossi, F., Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization, in: Paolo Ciancarini and Chris Hankin, Eds., Coordination Languages and Models, LNCS 1061, 1996, pp. 12-27. 191. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and L\"owe, M., ``Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach'', in: G. Rozenberg (editor), Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, World Scientific, pp. 163-245, 1997. Available also as technical report TR-96-17 of the Dipartimento di Informatica, Pisa, from ftp://ftp.di.unipi.it/pub/techreports/TR-96-17.ps.Z. 192. Gadducci, F. and Montanari, U., Tiles, Rewriting Rules and CCS, in: J. Meseguer, Guest Ed.: First International Workshop on Rewriting Logic and its Applications, ENTCS 4, pp.1-19, 1996. 193. Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T. and Verfaille, G., Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison, in: M. Jampel, E. Freuder, M. Maher, Eds., Over-Constrained Systems, Springer LNCS 1106, 1996. 194. Montanari, U. and Pistore, M., History Dependent Verification for Partial Order Systems, in: D. Peled, V.Pratt, and G. Holzmann, Eds., Procs. Partial Order Methods in Verifications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol.29, 259-272, 1996. 195. Montanari, U. and Pistore, M., Minimal Transition Systems for History-Preserving Bisimulation, in: Ruediger Reischuk, Michel Morvan, Eds., STACS 97, Springer LNCS 1200, 1997, pp. 413-425. Paper available from file://ftp.di.unipi.it/pub/Papers/pistore/stacs97.ps.gz. 196. Montanari, U., Causal Computing, ACM Computing Surveys 28A(4), December 1996, http://www.acm.org/pubs/articles/journals/surveys/1996-28-4es/a51-montanari/a51-montanari.html. 197. Montanari, U. and Rossi, F., Constraint Solving and Programming: What Next?, ACM Computing Surveys 28A(4), December 1996, http://www.acm.org/pubs/articles/journals/surveys/1996-28-4es/a70-montanari/a70-montanari.html. Also in Constraints, vol.2, n.1, 1997. 198. Ferrari, G., Ferro, G., Gnesi, S., Montanari, U., Pistore, M. and Ristori, G., An Automata Based Verification Environment for Mobile Processes, in: Ed Brinksma, Ed., Tools and Algorithms for the Construction and Analysis of Systems, Springer LNCS 1217, 1997, pp. 275-289. 199. Meseguer, J., Montanari, U. and Sassone, V., Representation Theorems for Petri Nets, in: Ch. Freksa, M. Jantzen and R. Valk (Eds.), Foundations of Computer Science (dedicated to W. Brauer), Springer LNCS 1337, 1997, pp.239-249. 200. Bistarelli, S., Montanari, U. and Rossi, F., Semiring-based Constraint Logic Programming, Proc. IJCAI97, Morgan Kaufmann, 1997, pp. 352-357. 201. Andreoli, J.M., Bistarelli, S., Borghoff, U.M., Montanari, U., Pareschi, R. and Rossi, F., Constraints and Agents for a Decentralized Network Infrastructure, AAAI97 Workshop on Constraints and Agents, 1997. 202. Ferrari, G.L. and Montanari, U., A Tile-Based Coordination View of Asynchronous Pi-Calculus, in: Igor Pr’vara, Peter Ruzicka, Eds., Mathematical Foundations of Computer Science 1997, Springer LNCS 1295, 1997, pp. 52-70. 203. Gadducci, F. and Montanari, U., The Tile Model, in: Gordon Plotkin, Colin Stirling, and Mads Tofte, Eds., Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, pp. 133-166. An early version appeared as Technical Report TR-96/27, Dipartimento di Informatica, University of Pisa, June 1996. Paper available from http://www.di.unipi.it/~ugo/festschrift.ps. 204. Bruni, R. and Montanari, U., Zero-Safe Nets, or Transition Synchronization Made Simple, in: Catuscia Palamidessi, Joachim Parrow, Eds, EXPRESS'97, ENTCS 7, pp.55-74, 1997. 205. Ferrari, G. and Montanari, U., Tiles for Concurrent and Located Calculi, in: Catuscia Palamidessi, Joachim Parrow, Eds, EXPRESS'97, ENTCS 7, pp.115-140, 1997. 206. Montanari, U. and Rossi, F., Modeling Process Coordination Via Tiles, Graphs and Constraints, Proc. 3rd Biennial World Conference on Integrated Design and Process Technology, Berlin, Society for Design and Process Science, Vol.4 pp.1-8, 1998. 207. Meseguer, J. and Montanari, U., Mapping Tile Logic into Rewriting Logic, in: Francesco Parisi-Presicce, Ed., Recent Trends in Algebraic Development Techniques, Spinger LNCS 1376, 1998, pp. 62-91. Available from http://www.di.unipi.it/~ugo/wadt.ps. 208. Bruni, R. and Montanari, U., Zero-Safe Nets: The Individual Token Approach, in: Francesco Parisi-Presicce, Ed., Recent Trends in Algebraic Development Techniques, Spinger LNCS 1376, 1998, pp. 122-140. 209. Baldan, P., Corradini, A. and Montanari, U., An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures, in: Maurice Nivat, Ed., FoSSaCS'98, Springer LNCS 1378, pp.63-80. 210. Honsell, F., Lenisa, M., Montanari, U. and Pistore, M., Final Semantics for the Pi-Calculus, in: D. Gries and W-P. de Roever, Eds., PROCOMET'98, Chapman & Hall 1998, pp. 226-243. 211. Ferrari, G., Gnesi, S., Montanari, U., Pistore, M. and Ristori, G., Verifying Mobile Processes in the HAL Environment, in: Alan J. Hu and Moshe Y. Vardi, Eds., CAV'98, Springer LNCS 1427, pp.511-515. 212. Baldan, P., Corradini, A. and Montanari, U., Concatenable Graph Processes: Relating Processes and Derivation Traces, in: Kim Larsen, Sven Skyum and Glynn Winskel, Eds., ICALP'98, Spinger LNCS 1443, 1998, pp. 283-295. 213. Gadducci, F. and Montanari, U., Axioms for Contextual Net Processes, in: Kim Larsen, Sven Skyum and Glynn Winskel, Eds., ICALP'98, Spinger LNCS 1443, 1998, pp. 296-308. 214. Montanari , U. and Talcott, C., Can Actors and pi-Agents Live Together?, in: Andrew Gordon, Andrew Pitts and Carolyn Talcott, Eds, Second Workshop on Higher-Order Operational Techniques in Semantics (HOOTS II), ENTCS 10, pp. 189-196, 1998. 215. Montanari, U. and Pistore, M., An Introduction to History Dependent Automata, in: Andrew Gordon, Andrew Pitts and Carolyn Talcott, Eds, Second Workshop on Higher-Order Operational Techniques in Semantics (HOOTS II), ENTCS 10, pp170-188, 1998. 216. Bruni, R., Meseguer, J. and Montanari, U., Internal Strategies in a Rewriting Implementation of Tile Systems, in: Claude Kirchner and Helene Kirchner, Eds, International Workshop on Rewriting Logic and its Applications, ENTCS 15, pp.263-284,1998 217. Bruni, R., Meseguer, J. and Montanari, U., Implementing Tile Systems: Some Examples from Process Calculi, in: Pierpaolo Degano, Ugo Vaccaro and Giuseppe Pirillo, Eds., Proc.ICTCS'98, World Scientific, pp.168-179. 218. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V., A Comparison of Petri Net Semantics under the Collective Token Philosophy, in: Jieh Hsiang and Atsushi Ohori, Eds., Advances in Computing Science - ASIAN'98, Springer LNCS 1538, pp. 225-244. 219. Hirsch, D., Inverardi, P. and Montanari, U., Graph Grammars and Constraint Solving for Software Architecture Styles, Proc. ISAW'98. 220. Hirsch, D., Inverardi, P. and Montanari, U., Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving, Proc. Working IFIP Conference on Software Architecture, February 1999. 221. Bruni, R., Gadducci, F. and Montanari, U., Normal Forms for Partitions and Relations, Proc. 13th Workshop on Algebraic Development Techniques, Lisbon, April 2-4, 1998, in: Jose Luiz Fiadeiro, Ed., WADT'98, Springer LNCS1589, pp.31-47. 222. Montanari, U. and Pistore, M., Finite State Verification for the Asynchronous Pi-Calculus, in: W. Rance Cleaveland, Ed., TACAS'99, Springer LNCS 1579, pp.255-269, 1999. 223. Baldan, P., Corradini, A. and Montanari, U., Unfolding and Event Structure Semantics for Graph Grammars, in: Wolfgang Thomas, Ed., FOSSACS'99, Springer LNCS 1578, pp. 73-89, 1999. 224. Bruni, R., Meseguer, J. and Montanari, U., Executable Tile Specifications for Process Calculi, in: Jean-Pierre Finance, Ed., FASE'99, Springer LNCS 1577, pp. 60-76. 225. Baldan, P.,Corradini, A., Ehrig, E., L"owe, M., Montanari, U. and Rossi, F., Concurrent Semantics of Algebraic Graph Transformations, in: H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, Eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallellism, and Distribution, pp.107-187, World Scientific, 1999. 226. Montanari, U., Pistore, M. and Rossi, F., Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations, in: H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, Eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallellism, and Distribution, pp.189-268, World Scientific, 1999. 227. Corradini, A., Heckel, R. and Montanari, U., From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence, in: Bart Jacobs and Jan Rutten, Eds., Coalgebraic Methods in Computer Science '99, ENTCS 19, pp.118-141, 1999. 228. Bruni, R. and Montanari, U., Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus, invited talk, Proc. 14th Symposium on Logic in Computer Science, Trento, July 2-5, 1999, IEEE Computer Society, 1999, pp.246-265. 229. Corradini, A., Heckel, R. and Montanari, U., Tile Transition Systems as Structured Coalgebras, invited talk, in: Gabriel Ciobanu, Gheorghe Paun, Eds., FCT'99, Springer LNCS 1684, pp. 13-38. 230. Hirsch, D. and Montanari, U., Consistent Transformations for Software Architecture Styles of Distributed Systems, in: Gheorghe Stefanescu, Ed., Workshop on Distributed Systems, ENTCS 28, pp.4. 231. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V., Functorial Semantics for Petri Nets Under the Individual Token Philosophy, in: Martin Hofmann, Dusko Pavlovic and Pino Rosolini, Eds., Category Theory and Computer Science (CTCS'99), ENTCS 24, pp.21, 1999. 232. Bruni, R. and Montanari, U., Zero-Safe Nets: Composing Nets via Transition Synchronization, in: H. Weber, H. Ehrig and W. Reisig, Eds., Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Gesellschaft ISST, 1999, pp.43-80. 233. Baldan, P., Corradini, A. and Montanari, U., Unfolding of Double-Pushout Graph Grammars is a Coreflection, in: Hartmut Ehrig, Gragor Engels, Hans-Joerg Kreowski and Gregor Rozenberg, Eds., Theory and Application of Graph Transformations, Springer LNCS 1764, pp. 145-163. 234. Bruni, R., Montanari, U. and Sassone, V., Open Ended Systems, Dynamic Bisimulation and Tile Logic, in: Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D.Mosses and Takayasu Ito, Eds., IFIP TCS2000, Springer LNCS 1872, pp. 440-456. 235. Bruni, R. and Montanari, U., Executing Transactions in Zero-Safe Nets, in: Mogens Nielsen and Dan Simpson, Eds., Application and Theory of Petri Nets 2000, Springer LNCS 1825, pp. 83-102. 236. Montanari, U., Two Problems in Wide Area Network Programming, position paper, in: Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D.Mosses and Takayasu Ito, Eds., IFIP TCS2000, Springer LNCS 1872, pp. 609-611. 237. Bruni, R., de Frutos-Escrig, D., Marti-Oliet, N. and Montanari, U., Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic, in: Catuscia Palamidessi, Ed., CONCUR 2000, Springer LNCS 1877, pp. 259-274. 238. Hirsch, D., Inverardi, P. and Montanari, U., Reconfiguration of Software Architecture Styles with Name Mobility, in: Antonio Porto, Gruia-Catalin Roman, Eds., Coordination 2000, Springer LNCS 1906, pp. 148-163. 239. Montanari, U. and Pistore, M., Pi-Calculus, Structured Coalgebras and Minimal HD-Automata, in: Mogens Nielsen and Branislav Roman, Eds., Proc. MFCS 2000, Springer LNCS 1983. 240. Corradini, A., Heckel, R. and Montanari, U., Graphical Operational Semantics, in: Jose Rolim et al., Eds., ICALP Workshops 2000, Carleton Scientific, Proceedings in Informatics 8, pp.411-418. 241. Baldan, P., Corradini, A. and Montanari, U., History Preserving Bisimulation for Contextual Nets, in: Didier Bert, Christine Choppy and Peter Mosses, Eds., WADT'99, Springer LNCS 1827, pp. 291-310. 242. Bruni, R. and Montanari, U., Transactions and Zero-Safe Nets, in: Hartmut Ehrig, Gabriel Juhas, Julia Padberg and Grzegorz Rozenberg, Eds., Springer LNCS 2128, p.380-426. 243. Gadducci, F. and Montanari, U., A Concurrent Graph Semantics for Mobile Ambients, in: Stephen Brooks and Michael Mislove, Eds., MFPS 2001, ENTCS 45, pp.66-105, 2001. 244. Hirsch, D. and Montanari, U., A Graphical Calculus for Name Mobility, Proc. Workshop on Software Engineering and Mobility, co-located with ICSE 2001, May 2001, Toronto. 245. Hirsch, D. and Montanari, U., Synchronized Hyperedge Replacement with Name Mobility, in: Kim Larsen and Mogens Nielsen, Eds., CONCUR 2001 - Concurrency Theory, Springer LNCS 2154, pp.121-136. 246. Koenig, B. and Montanari, U., Observational Equivalence for Synchronized Graph Rewriting, in: Naoki Kobayashi and Benjamin Pierce, Eds., TACS 2001, Springer LNCS 2215, pp. 145--164. 247. Hirsch, D. and Montanari, U., Two Graph-Based Techniques for Software Architecture Reconfiguration, in: Michel Bauderon and Andrea Corradini, Eds., GETGRATS Closing Workshop, ENTCS 51, pp.177-190, 2002. 248. Bruni, R. and Montanari, U., Zero-Safe Net Models for Transactions in Linda, in: Ugo Montanari and Vladimiro Sassone, Eds., ConCoord: International Workshop on Concurrency and Coordination, ENTCS 54, pp.106-116, July 2001. 249. Ferrari, G.L., Montanari, U. and Tuosto, E., A LTS Semantics of Ambients via Graph Synchronization with Mobility, in: Antonio Restivo, Simona Ronchi Della Rocca and Luca Roversi, Eds., ICTCS 2001, Springer LNCS 2202, October 2001, pp. 1-16. 250. Gadducci, F., Katis, P., Montanari, U., Sabadini, N. and Walters, R., Comparing Cospan-Spans and Tiles via a Hoare-style Process Calculus, in: Marina Lenisa and Marino Miculan, Eds., TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types, ENTCS 62, pp.157-176 (2002). 251. Baldan, P., Corradini, A. and Montanari, U., Bisimulation Equivalences for Graph Grammars, in Wilfried Brauer, Juhani Karhumaeki, Arto Salomaa and Hartmut Ehrig, Festschrift in Honor of Grzegorz Rozeberg, Springer LNCS 2300, 2002, pp158-187. 252. Bistarelli, S., Montanari, U. and Rossi, F., Soft Concurrent Constraint Programming, in: Daniel Le MŽtayer, Ed., ESOP 2002, Springer LNCS 2305, p. 53-67. 253. Ferrari, G., Montanari, U. and Pistore, M., Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation, in: Mogens Nielsen and Uffe Engberg, Eds., FOSSACS 2002, Springer LNCS 2303, pp.129-143. 254. Bruni, R., Laneve, C and Montanari, U., Orchestrating Transactions in Join Calculus, in: Lubos Brim, Petr Jancar, Mojmőr Kretőnsky and Antonőn Kucera, Eds., CONCUR 2002 - Concurrency Theory, Springer LNCS 2421, pp. 321-337. 255. Buscemi, M. and Montanari, U., A First Order Coalgebraic Model of Pi-Calculus Early Observational Equivalence, in: Lubos Brim, Petr Jancar, Mojmőr Kretőnsky and Antonőn Kucera, Eds., CONCUR 2002 - Concurrency Theory, Springer LNCS 2421, pp. 449-465. 256. Coccia, M., Gadducci, F. and Montanari, U., GS-LAMBDA Theories: A Syntax for Higher-Order Graphs , Proc. CTCS 2002, ENTCS 69, pp.83-100. 257. Lanese, I. and Montanari, U., Software Architectures, Global Computing and Graph Transformation via Logic Programming, invited talk, in: Leila Ribeiro, Ed., Proc SBES'2002 - 16th Brazilian Symposium on Software Engineering, October 2002, Anais, p. 11-35. 258. Ferrari, G., Montanari, U. and Tuosto, E., Graph-based Models of Internetworking Systems, in: Bernhard K. Aichernig and Tom Maibaum, Eds., UNU/IIST 10th Anniversary Colloquium, Springer LNCS, Vol. 2757 pp.242-266. 259. Bruni , R., Meseguer, J. and Montanari, U., Tiling Transactions in Rewriting Logic, Proc. WRLA 2002, ENTCS 71, p.90, 2004. 260. Montanari, U. and Ribeiro, L., Linear Ordered Graph Grammars and Their Algebraic Foundations, in: Andrea Corradini, Hartmut Ehrig, Hans-Jšrg Kreowski and Grzegorz Rozenberg, Eds., Graph Transformation, ICGT 2002, Springer LNCS 2505, pp. 317-333. 261. Baldan, P., Bruni, R. and Montanari, U., Pre-nets, Read Arcs and Unfolding: a Functorial Presentation, in: Martin Wirsing, Dirk Pattinson and Rolf Hennicker, Eds., Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, Springer LNCS 2755, November 2003. 262. Baldan, P., Corradini, A., Montanari, U. and Ribeiro, L., Coreflective Concurrent Semantics for Single-Pushout Graph Grammars, in: Martin Wirsing, Dirk Pattinson and Rolf Hennicker, Eds., Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, Springer LNCS 2755, November 2003. 263. Baldan, P., Corradini, U., Montanari, U. and Ribeiro, L., From the Functorial Semantics of Petri Nets to that of Algebraic Graph Grammars, Proc. UNIGRA 2003. 264. De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R. and Tuosto, E., A Formal Basis for Reasoning on Programmable QoS, in: Nachum Dershowitz, Ed., Verification--Theory and Practice: Proceedings of an International Symposium in Honor of Zohar Manna's 64th Birthday, Springer LNCS 2722, pp. 436-479. 265. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V., Algebraic Theories for Contextual Pre-Nets, in: Carlo Blundo and Cosimo Laneve, Eds., Proc. ICTCS 2003, Springer LNCS 2841, 256--270. 266. Ferrari, G., Montanari. U, Raggi, R. and Tuosto, E., From Co-algebraic Specifications to Implementation: The MIHDA Toolkit, in: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf and Willem-Paul de Roever, Eds., Proc. FMCO 2002, Springer LNCS 2852, pp. 319-338, 2003. 267. Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., Massink, M., Mazzanti, F., Montanari, U., Oliveira, C., Pugliese, R., Tarlecki, A., Wermelinger, M., Wirsing, M. and Zawlocki, A., AGILE: Software Architecture for Mobility, in: Martin Wirsing, Dirk Pattinson and Rolf Hennicker, Eds., Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, Springer LNCS 2755, November 2003. 268. Bruni, R., Melgratti, H. and Montanari, U., Flat Committed Join in Join, in: Furio Honsell, Marina Lenisa and Marino Miculan, Eds., Proc. Workshop Cometa on Computational Metamodels, ENTCS 104, pp.39--59 (2004). 269. Lanese, I. and Montanari, U., A Graphical Fusion Calculus, in: Furio Honsell, Marina Lenisa and Marino Miculan, Eds., Proc. Workshop Cometa on Computational Metamodels, ENTCS 104, pp.199-215 (2004). 270. Gadducci, F., MIculan, M. and Montanari, U., Some Characterization Results for Permutation Algebras, in: Furio Honsell, Marina Lenisa and Marino Miculan, Eds., Proc. Workshop Cometa on Computational Metamodels, ENTCS 104, pp.129-147 (2004). 271. Hirsch, D. and Montanari, U., Shaped Hierarchical Architectural Design, in Reiko Heckel, Ed.: Proc. GT-VMT 2004, ENTCS 109, pp 97--109. 272. Bruni, R., Melgratti, H. and Montanari, U., Nested Commits for Mobile Calculi: Extending Join, in: Levy, J.-J., Mayr, E.W. and Mitchell, J.C., Eds., Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science, Kluwer Academics, pp. 563--576, 2004. 273. Bruni, R., Fiadeiro, J., Lanese, I., Lopez, A. and Montanari., U., New Insights on Architectural Connectors, in: Levy, J.-J., Mayr, E.W. and Mitchell, J.C., Eds., Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science, Kluwer Academics, pp. 367--379, 2004. 274. Boreale, M., Buscemi, M.G. and Montanari, U., D-Fusion: a Distinctive Fusion Calculus, in: W.-N. Chin, Ed., APLAS 2004, Springer LNCS 3302, pp.296-310, 2004. 275. Baragatti, A., Bruni, R., Melgratti, H., Montanari, U. and Spagnolo, G., Prototype Platforms for Distributed Agreements, in: Antonio Brogi, Jean-Marie Jacquet and Ernesto Pimentel, Eds., ENTCS 180. pp.41--54, 2007. 276. Lluch-Lafuente, A. and Montanari, U., Quantitative µ-calculus and CTL based on constraint semirings, in: Antonio Cerone and Alessandra Di Pierro, Eds., Procs. QAPL 2004, ENTCS 112, pp.37-59 (2005). 277. Ivan Lanese, I. and Montanari, U., Synchronization Algebras with Mobility for Graph Transformations, in: Julian Rathke, Ed., Proc FGUC 2004,ENTCS 138, pp.43--60, 2004. 278. Bruni, R., Melgratti, H. and Montanari, U., Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets, in: Jšrg Desel, Wolfgang Reisig and Grzegorz Rozenberg, Eds., Lectures on Concurrency and Petri Nets, Springer LNCS 3098, pp. 291-328. 279. Bruni, R., Melgratti, H and Montanari, U., Theoretical Foundations for Compensations in Flow Composition Languages, in: Martin Abadi, Ed., Proc. POPL 2005, ACM Press, pp. 209-220. 280. Montanari, U., Web Services and Models of Computation, invited talk, in: Mario Bravetti and Gianluigi Zavattaro, Eds., Proc. WSMF, ENTCS 105 pp. 5--9, 2004. 281. Gadducci., F. and Montanari, U., Graph Processes with Fusions: Concurrency by Colimits, Again, in: Hans-Jšrg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg and Gabriele Taentzer, Eds., Formal Methods in Software and System Modeling, Spriger LNCS 3393, pp. 84Đ100, 2005. 282. Ferrari, G., Montanari, U. and Tuosto, E., Model Checking for Nominal Calculi, invited talk, in: Vladimiro Sassone, Ed., FOSSACS 2005, Springer LNCS 3441, 2005, pp. 1-24. 283. Montanari, U. and Pistore, M., History-Dependent Automata: An Introduction, in: M. Bernardo and A. Bogliolo, Eds., SFM-Moby 2005, LNCS 3465, pp. 1Đ28, 2005. 284. De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R. and Tuosto, E., A Process Calculus for QoS-Aware Applications, in: Jean-Marie Jacquet and Gian Pietro Picco, Eds., COORDINATION 2005, LNCS 3454, pp. 33Đ48, 2005. 285. Lanese, I. and Montanari, U., Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility, in: Arend Rensink, Reiko Heckel and Barbara Koenig, Eds., Proc. GT-VC 2005, ENTCS 154, pp.55-72, 2006. 286. Bruni, R., Butler, M, Ferreira, C., Hoare, T., Melgratti, H. and Montanari, U., Comparing Two Approaches to Compensable Flow Composition, in: Martin Abadi and Luca De Alfaro, Eds., CONCUR 2005, Springer LNCS 3653, 383Đ397, 2005. 287. Bruni, R., Gadducci, F., Montanari, U. and Sobocinski, P., Deriving Weak Bisimulation Congruences from Reduction Systems, in: Martin Abadi and Luca De Alfaro, Eds., CONCUR 2005, Springer LNCS 3653, pp.293-307, 2005. 288. Bruni, R., Lanese, I. and Montanari, U., Complete Axioms for Stateless Connectors, in: JosŽ Luiz Fiadeiro, Neil Harman, Markus Roggenbach and Jan Rutten, Eds., CALCO 2005, Springer LNCS 3629, pp.98Đ113, 2005. 289. Ferrari, G., Montanari, U., Tuosto, E., VIctor, B. and Yemane, K., Modelling Fusion Calculus Using HD-automata, in: JosŽ Luiz Fiadeiro, Neil Harman, Markus Roggenbach and Jan Rutten, Eds., CALCO 2005, Springer LNCS 3629, pp.142Đ156, 2005. 290. Baldan, P., Corradini, A. and Montanari, U., Relating SPO and DPO Graph Rewriting with Petri nets Having Read, Inhibitor and Reset Arcs, in: Hartmut Ehrig, Julia Padberg and Grzegorz Rozenberg, Eds., Proc. PNGT 2004, ENTCS 127, pp.5-28,2005. 291. Gadducci, F. and Montanari, U., Observing Reductions in Nominal Calculi via a Graphical Encoding of Processes, in: Middeldorp, A., van Oostrom, V., van Raamsdonk, F. and de Vrijer, R.C., Eds., Processes, Terms and Cycles (Klop Festschrift), Springer LNCS 3838, pp 106-126, 2005. 292. Boreale, M. Buscemi, M.G. and Montanari, U., A General Name Binding Mechanism, in: Rocco De Nicola and Davide Sangiorgi, Eds., TGC 2005, Springer LNCS 3705, pp. 61-74, 2005. 293. Bonchi, F., Koenig, B. and Montanari, U., Saturated Semantics for Reactive Systems, Proc. LICS 2006, pp.69-78. 294. Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U.,and Tuosto, E.,Synchronized Hyperedge Replacement as a Model for Service Oriented Computing, in: Frank S. de Boer Marcello M. Bonsangue, Susanne Graf and Willem-Paul de Roever, Eds., FMCO 2005, Springer LNCS 4111, pp. 22-43. 295. Bruni, R., Melgratti, H. and Montanari, U., Event Structure Semantics for Nominal Calculi, in: Chrisatel Baier and Holger Hermanns, Eds., CONCUR 2006, Springer LNCS 4137,4137 pp.295-309. 296. Baldan, P., Gadducci, F. and Montanari, U., Modelling Calculi with Name Mobility using Graphs with Equivalences, in: Ian Mackie, Ed., Proc. TERMGRAPH 2006, ENTCS 176, pp.85-97, 2007. 297. Baldan, P., Gadducci, F. and Montanari, U., Concurrent Rewriting for Graphs with Equivalences, in: Christel Baier and Holger Hermanns, Eds., CONCUR 2006, pp.274-294. 298. Bruni, R., Melgratti, H. and Montanari, U., Event Structure Semantics for Dynamic Graph Grammars, Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006), Electronic Communications of the EASST Volume 2 (2006), 19 pages. 299. Buscemi, M.G. and Montanari, U., A Compositional Coalgebraic Model of a Fragment of Fusion Calculus, in: Luca Aceto and Andy Gordon, APC 25, ENTCS 162, pp.135-139, 2006. 300. Buscemi, M.G. and Montanari, U., CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, in: Rocco De Nicola, Ed., Programming Languages and Systems (ESOP 2007), Springer LNCS pp. 18-32. 301. Buscemi, M., Ferrari, L., Moiso, C. and Montanari, U., Constraint-Based Policy Negotiation and Enforcement for Telco Services, in: He Jifeng and Jeff Sanders, Eds., Proc. of the 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2007), Shanghai, IEEE Computer Society, pp. 463-472, 2007. 302. Bonchi, F and Montanari, U., Coalgebraic Models for Reactive Systems, in Luis Caires and Vasco T. Vasconcelos, Eds., CONCUR 2007, Springer LNCS 4703, pp.364-379, 2007. 303. Bruni, R., Lluch Lafuente, A., Montanari, U. and Tuosto, E., Service Oriented Architectural Design, in Proc. TGC 2007, Springer LNCS, to appear. 304. Bistarelli, S., Montanari, U., Rossi, F. and Santini, F., Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming, in: Alessandro Aldini and Franck van Breugel, Eds., Proc. QAPL 2007, ENTCS 190, pp.111-127, 2007. Books and special issues ======================== 305. Aiello, M., Albano, A., Attardi, G., and Montanari, U., Elementi di Teoria della Computabilit, Logica, Teoria dei Linguaggi Formali, Editrice Tecnico Scientifica, Pisa, 1976. 306. Dezani-Ciancaglini, M. and Montanari, U., Eds., Proc. 1982 International Symposium on Programming, Springer LNCS 137 (1982). 307. Ehrig, H., Kowalski, R., Levi, G. and Montanari, U., Eds., Proc. TAPSOFT '87, Vol. 1 and 2,Springer LNCS 249 and 250. 308. Habermann A. N. and Montanari, U., Eds., System Development and Ada: Proc CRAI Workshop, May 1986, Springer LNCS 275. 309. Levi, G. and Montanari, Eds., special issue dedicated to TAPSOFT '87, Theoretical Computer Science 59 , N.1,2 (1988), pp.1-209. 310. De Nicola, R., Manca, V., Montanari, U. and Turini, F., Semantica Denotazionale ed Algebrica dei Linguaggi di Programmazione, Franco Angeli, 1989 (in Italian). 311. De Nicola, R. and Montanari, U., Eds., Selected Papers of the 2nd Workshop on Concurrency and Compositionality, San Miniato, Italy, March 1990, Theoretical Computer Science, Vol.96 No.1 (April 1992). 312. Corradini, A. and Montanari, U., Eds., Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, ENTCS 2, 1995. 313. Montanari, U and Rossi, F, Eds., Principles and Practice of Constraint Programming - CP'95, Springer LNCS 976, 1995. 314. Corradini, A. and Montanari, U., Eds., Special Issue dedicated to the Joint COMPUGRAPH/SEMAGRAPH Workshop, MSCS, Vol.6, No.6, December 1996. 315. Montanari, U and Rossi, F, Eds., Special issue dedicated to Principles and Practice of Constraint Programming, TCS, Vol.173, No.1, February 1997. 316. Montanari, U and Sassone, V., Eds., CONCUR '96: Concurrency Theory, 7th International Conference, Springer LNCS 1119, 1996. 317. Montanari, U and Sassone, V., Eds., Special issue dedicated to Concurrency Theory, TCS Vol. 195 N.2 (1998). 318. H. Ehrig, H.-J. Kreowski, U. Montanari and G. Rozenberg, Eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallellism, and Distribution, World Scientific, 1999. 319. Ugo Montanari, Jose Rolim and Emo Welzl, Eds., ICALP 2000, Springer LNCS 1853. 320. Andrea Corradini, Marina Lenisa and Ugo Montanari, Eds., CMCS 2001: Coalgebraic Methods in Computer Science, ENTCS 44, April 2001. 321. Ugo Montanari and Vladimiro Sassone, Eds., ConCoord: International Workshop on Concurrency and Coordination, ENTCS 54, July 2001. 322. Andrea Corradini, Marina Lenisa and Ugo Montanari, Eds., Special issue dedicated to CMCS 2001, MSCS, Vol.13, 2, April 2003. 323. Ricardo Baeza-Yates, Ugo Montanari, and Nicola Santoro, Eds., Foundations of Information Technology in the Era of Network and Mobile Computing, TCS 2002, Kluwer, 2002. 324. Gadducci, F. and Montanari, U., Proc. WRLA 2002, Rewriting Logic and Its Applications, 19-21 September 2002, Pisa, ENTCS 71, pp.1-300, 2004. 325. Hans-Jšrg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg and Gabriele Taentzer, Eds., Formal Methods in Software and System Modeling, Springer LNCS 3393. 326. Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. and Rozenberg, G., ICGT 2006, Springer LNCS 4178. 327. Mossakowski, Till, Montanari, U. and Haveraaen, Magne, CALCO 2007, Springer LNCS 4624, 2007. Other publications 328. Montanari, U., Verso la dimostrazione Automatica di Propriet Formali di Programmi, Congresso di Cibernetica, Casciana Terme, October 1971, pp. 120-141,. 329. Levi, G., Martelli, A., Montanari, U., Montangero, C., Pacini, G., Prini, G., Sirovich, F., Turini, F., Progettazione ed Implementazione del Linguaggio LISP per Intelligenza Artificiale, Convegno sui Rapporti tra Ricerca Matematica Pura e Ricerca Matematica Applicata, Siena, September 27-29, 1973, pp. 233-237. 330. Aiello Carlucci, L., Martelli, A., Montanari, U., and Prini, G., Alcune Ricerche di Informatica Teorica, Convegno sui Rapporti tra Ricerca Matematica Pura e Ricerca Matematica Applicata, Siena, September 27-29, 1973, pp. 149-154. 331. Aiello, M., Lami, C., Martelli, A., and Montanari, U., Teoria ed Applicazioni dell'Elaborazione di Immagini, Convegno sui Rapporti tra Ricerca Matematica Pura e Ricerca Matematica Applicata, Siena, September 27-29, 1973, pp. 155-160. 332. Montanari, U., Il Riconoscimento di Forme in Medicina, Contributi del Centro Linceo Interdisciplinare di Scienze Matematiche e loro Applicazioni, n. 29, 1976, pp. 303-310. 333. Montanari, U., Epistemologia Dichiarativa o Procedurale: il Problema della Rappresentazione in Intelligenza Artificiale, Convegno AICA di Informatica Teorica, Pisa, March 1973, pp. 81-106. 334. Carlesi, C., and Montanari, U., Un Programma per la Gestione Interattiva del Sistema SADAF di Digitalizzazione di Immagini, Proc. 3o Congresso Nazionale di Cibernetica e Biofisica, S. Marino, October 3-5, 1974, pp. 194-211. 335. Martelli, A. and Montanari, U., Programmazione Dinamica e Punto Fisso, Atti Convegno di Informatica Teorica, Mantova, November 21-23, 1974, pp. 1-19. 336. Montanari, U., Preparazione dei Laureati nel Corso di Laurea in Scienze dell'Informazione, Proc. Convegno ISEO on "Presente e Futuro dell'Informatica in Italia", Saint Vincent, June 8-10, 1977, Vol. II, p. 473-479. 337. Asirelli, P., Gimona, F., Martelli, A., and Montanari, U., Passing Parameter Types in Programming Languages with Data Abstractions, Proc. AICA 77, Pisa, October 12-14, 1977, Vol. 3, pp. 429-444. 338. Montanari, U., Towards an Integration Between Language and Software Development Environments, International Seminar on Software Engineering Applications, Capri (October 20-24, 1980). 339. Montanari, U., and Simonelli, C., On Distinguishing Concurrency from Nondeterminism, Huitieme Ecole de Printemps d'Informatique Theorique, Colleville sur Mer (May 27-31, 1980). 340. Montanari, U. Introduzione alle Scienze dell'Informazione, Trascr. Sem. Letture Gramsci, Roma, Ciclo 1982: Le Scienze dell.Informazione. 341. Montanari, U., Il Progetto Finalizzato Informatica e l'Industria Nazionale del Settore, Informatica e Sviluppo Economico, 3Ľ Convegno Nazionale ISEO di Informatica, Saint Vincent (1983). 342. Montanari, U., Intelligenza Artificiale, Enciclopedia Generale Mondadori, Vol. 7, Mondadori (1984), 32-33. 343. Montanari, U., La Ricerca nell'Universit e negli Enti Pubblici, Trascr. Interv. Convegno Nazionale del PCI su Informatica Universit Ricerca, Roma (1984). 344. Montanari, U., La Ricerca, lo Sviluppo (tra il dire e il fare), Media Duemila, Anno III, NĽ9 (1985). 345. Montanari, U., Linee di Sviluppo dell'Informatica, Atti Conv. Naz. sulla Ristrutturazione dell'Ordinamento Didattico degli Studi di Scienze dell'Informazione, Bologna (1985). 346. Montanari, U., Ambienti di Programmazione, Zerouno, NĽ 68, Settembre 1987. 347. U. Montanari, Scenari Futuri, Trascr. Interv. Congresso Qualit e Produttivit nella Produzione di Software, Italsiel/Systec, Hotel Ambasciatori, February 15/17, 1988. 348. Rossi, F., and Montanari, U., Rilassamento in Reti di Vincoli e Metaprogrammazione Logica, Proc. Terzo Convegno sulla Programmazione Logica , Roma (May 11-13, 1988), Entergrafica, Roma, pp.13-30. 349. Gorrieri, R., and Montanari, U., Two Level Semantics for Process Description Languages: a Proof System for Strong Prefixing, Theoretical Computer Science, Proc. 3rd Italian Conference, World Scientific, 1989, pp.311-322. 350. Montanari, U., Ed., Action 3011 CEDISYS Compositional Distributed Systems: Objectives, State of the Art and Perspectives, EATCS Bulletin 39, October 1989, pp. 36-45. 351. Montanari, U., Ed., Action 3011 CEDISYS Compositional Distributed Systems: Objectives, Status and Update on the State of the Art, Bulletin of the EATCS, February 1991, pp. 57-66. 352. Montanari, U. Compositional Distributed Systems, ERCIM News, 8, Feb. 1992, p.8. 353. Montanari, U., Ed., Action 3011 CEDISYS Compositional Distributed Systems: Final Report, Bulletin of the EATCS, June 1992, pp. 82-86. 354. Bruni, R., Meseguer, J. and Montanari, U., Tiles with Symmetries and Copying, Abstract, Proc. 13th Workshop on Algebraic Development Techniques, Lisbon, April 2-4, 1998. 355. Bruni, R., Meseguer, J. and Montanari, U., Tile Logic: Rewriting with Side-Effects, Atti 1o Workshop Progetto Cofinanziato Tecniche Formali per Sistemi Software, Research Report SI-98/11, Information Sciences Dept., University of Rome La Sapienza, December 1998, pp. 25-26. 356. Bistarelli, S., Montanari, U. and Rossi, F., Semiring-based Constraint Logic Programming, Atti 1o Workshop Progetto Cofinanziato Tecniche Formali per Sistemi Software, Research Report SI-98/11, Information Sciences Dept., University of Rome La Sapienza, December 1998, pp. 15-16. 357. Baldan, P., Corradini, A. and Montanari, U., Concurrency and Graph Transformation Systems, Atti 1o Workshop Progetto Cofinanziato Tecniche Formali per Sistemi Software, Research Report SI-98/11, Information Sciences Dept., University of Rome La Sapienza, December 1998, pp. 7-8. 358. Montanari, U., Architetture di Agenti Mobili su Wide Area Networks, Technology Review Edizione Italiana, XIII N.1, Jan-Feb 2000, p.78-79. 359. Ferrari, G., Gnesi, S., Montanari, U., Raggi, R., Trentanni, G. and Tuosto, E., Verification On The Web Of Mobile Systems, poster paper, 6th International Conference on Enterprise Information Systems, Porto, 2004. Technical reports ================= 360. Aiello, M., Lami, C., and Montanari, U., Documentation of Package CHROMO for the Automatic Analysis and Karyotyping of Wheat Chromosomes, IEI Nota Tecnica C72-8, December 1972. 361. Montanari, U., L'Esecuzione Simbolica di Programmi, IEI Nota Interna B75-19, October 1975. 362. Martelli, A., and Montanari, U., Unification in Linear Time and Space: A Structured Presentation, IEI Nota Interna B76-16, July 1976. 363. Asirelli, P., Martelli, A., and Montanari, U., Proposte per un Linguaggio di Programmazione senza Side Effects Dotato di Tipi di Dato Astratti, Internal Report OL-78-3, IEI, Pisa, (July 1978). 364. Ambriola, V., Levi, G., Martelli, A., and Montanari, U., Trattamento di Tipi di Dati e Strutture Dati Primitivi in un Interprete Simbolico, Internal Report OL-77-2, IEI, Pisa (November 77). 365. Asirelli, P., Martelli, A., and Montanari, U., Language Constructs for Controlling Side Effects: A Proposal, Internal Report OL-78-6, IEI, Pisa (December 1978). 366. Attardi, G., Martelli, A., and Montanari, U., Il Meccanismo dei Moduli nel Linguaggio di Cnet, Collana Cnet, NĽ 6, Progetto Finalizzato Informatica del CNR (1980). 367. Inverardi, P., Montanari, U., and Vallario, G.N., How to program an APSE (almost) Completely in ADA, Collana Cnet, NĽ 68, Progetto Finalizzato Informatica del C.N.R. (1982). 368. Astesiano, E., Mazzanti, F., Montanari, U., and Reggio, G., Design and Formal Specification of a Family of Distributed Architectures, Collana Cnet NĽ 88,, Progetto Finalizzato Informatica del CNR (1983). 369. Inverardi, P., Mazzanti, F., Montanari, U., and Montangero, C., Specifiche e realizzazione di un costrutto di riconfigurazione dinamica per ADA, Collana Cnet, NĽ 107, Progetto Finalizzato Informatica del CNR (1983). 370. Inverardi, P., Mazzanti, F., Montanari, U., and Montangero, C., Un approccio alla descrizione del sistema Cnet in ADA, Collana Cnet, NĽ 108, Progetto Finalizzato Informatica del CNR (1983). 371. Degano, P., and Montanari, U., Fair Concurrent Histories as Limit Partial Orderings of Events, Nota Scientifica ISI S-83-19 (1983). 372. Montanari, U. and Goguen, J., An Abstract Machine for Fast Parallel Matching of Linear Patterns, Internal Report SRI-CSL-87-3, May 1987, SRI International, Menlo Park, USA. 373. Corradini, A. and Montanari, U., (Concurrent) Logic Programming as Transition Systems and Viceversa, Technical Report TP-13, Escuela Latino Americana de Informatica, Buenos Aires, 1989. 374. Montanari, U. and Sassone, V., Dynamic Bisimulation, Technical Report TR-13/90, Dipartimento di Informatica, University of Pisa, March 1990. 375. De Francesco, N., Montanari, U. and Ristori G., Modeling Serializability via Process Equivalence in Petri Nets, HP Laboratories Technical Report HPL-92-89, July 1992. 376. Montanari, U. and Yankelevich, D., On a Proof about SigmaCCS, Technical Report TR-24/93, Dipartimento di Informatica, University of Pisa, November 1993. 377. Bueno, F., Garcia de la Banda, M.J., Hermenegildo, M., Rossi, F. and Montanari, U., Towards True Concurrency Semantics Based Program Transformation between CLP and CC, technical report CLIP 2/93.1, Universidad PolitŽcnica de Madrid (UPM), Facultad de Inform‡tica, July 1993. 378. Montanari, U. and Rossi, F, Concurrent Models of Computing and Graph Grammars, in: Francesc Rossello' and Gabriel Valiente, Eds., Proceedings Colloquium on Graph Transformation and its Application in Computer Science, Technical Report UIB-DMI-B-19, University of the Balearic Islands, 1995, pp. 79-81. 379. Bruni, R., Meseguer, J. and Montanari, U., Process and Term Tile Logic, Technical Report, SRI-CSL-98-06 SRI International and TR-98-09, Dipartimento di Informatica, University of Pisa. 380. Montanari, U. and Pistore, M., History-Dependent Automata, Technical Report TR-98-11, Dipartimento di Informatica, Pisa. Draft available from ftp://ftp.di.unipi.it/pub/Papers/pistore/hdaut.ps.gz. 381. Hirsch, D. and Montanari, U., Higher-Order Hyperedge Replacement Systems and Their Transformations, Proc. GRATRA2000, Report Nr. 2000-2, Fachbereich Informatik, TUM Berlin, pp.215-223. 382. Bruni, R., de Frutos-Escrig, D., Marti-Oliet, N. and Montanari, U., Tile Bisimilarity Congruences for Open Terms and Term Graphs, TR-00-06, Dipartimento di Informatica, Pisa, May 2000. 383. Montanari, U. and Pistore, M., Structured Coalgebras and Minimal HD-Automata for the pi-Calculus, Technical Report 0006-02, IRST-ITC, 2000. Available at the URL: http://sra.itc.it/paper.epl?id=MP00. 384. Corradini, A., Heckel, R. and Montanari, U., Compositional SOS and Beyond: A Coalgebraic view of Open Systems, TR 01-01-01 Dipartimento di Informatica, University of Pisa, 2001. 385. Bruni, R., Meseguer, J. and Montanari, U., Functorial Models for Contextual Pre-nets, TR-02-09, Dipartimento di Informatica, University of Pisa, 2002. 386. Buscemi, M. and Montanari, U., Pi-Calculus Early Observational Equivalence: A First Order Coalgebraic Model, TR-02-14, Dipartimento di Informatica, Pisa, August 2002.