Search the dblp DataBase
Ugo Montanari :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alberto Martelli , Ugo Montanari An Efficient Unification Algorithm. [Citation Graph (5, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:258-282 [Journal ] Ugo Montanari , Francesca Rossi Constraint Relaxation may be Perfect. [Citation Graph (1, 0)][DBLP ] Artif. Intell., 1991, v:48, n:2, pp:143-170 [Journal ] Alberto Martelli , Ugo Montanari Optimizing Decision Trees Through Heuristically Guided Search. [Citation Graph (1, 0)][DBLP ] Commun. ACM, 1978, v:21, n:12, pp:1025-1039 [Journal ] Ugo Montanari A Note on Minimal Length Polygongal Approximation to a Digitized Contour. [Citation Graph (1, 0)][DBLP ] Commun. ACM, 1970, v:13, n:1, pp:41-47 [Journal ] Roberto Bruni , Hernán C. Melgratti , Ugo Montanari Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:291-327 [Conf ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari CCS is an (Augmented) Contact Free C/E System. [Citation Graph (0, 0)][DBLP ] Mathematical Models for the Semantics of Parallelism, 1986, pp:144-165 [Conf ] Cosimo Laneve , Ugo Montanari Axiomatizing Permutation Equivalence in the Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:350-363 [Conf ] Francisco Bueno , Manuel V. Hermenegildo , Ugo Montanari , Francesca Rossi From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:114-132 [Conf ] Gian Luigi Ferrari , Ugo Montanari Dynamic Matrices and the Cost Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] AMAST, 1995, pp:307-321 [Conf ] Michele Boreale , Maria Grazia Buscemi , Ugo Montanari D-Fusion: A Distinctive Fusion Calculus. [Citation Graph (0, 0)][DBLP ] APLAS, 2004, pp:296-310 [Conf ] Roberto Bruni , Ugo Montanari Executing Transactions in Zero-Safe Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:83-102 [Conf ] Roberto Bruni , Ugo Montanari Transactions and Zero-Safe Nets. [Citation Graph (0, 0)][DBLP ] Unifying Petri Nets, 2001, pp:380-426 [Conf ] Roberto Gorrieri , Ugo Montanari Distributed Implementation of CCS. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1991, pp:244-266 [Conf ] José Meseguer , Ugo Montanari , Vladimiro Sassone On the Model of Computation of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1994, pp:16-38 [Conf ] Ugo Montanari CEDISYS: Compositional Distributed Systems - State of the art, research goals, references. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory in Petri Nets, 1988, pp:507-524 [Conf ] Roberto Bruni , José Meseguer , Ugo Montanari , Vladimiro Sassone A Comparison of Petri Net Semantics under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP ] ASIAN, 1998, pp:225-244 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari Bisimulation Equivalences for Graph Grammars. [Citation Graph (0, 0)][DBLP ] Formal and Natural Computing, 2002, pp:158-190 [Conf ] Andrea Corradini , Ugo Montanari An Algebraic Representation of Logic-Program Computations. [Citation Graph (0, 0)][DBLP ] Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:584-612 [Conf ] Fabio Gadducci , Ugo Montanari Graph Processes with Fusions: Concurrency by Colimits, Again. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:84-100 [Conf ] Fabio Gadducci , Ugo Montanari Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. [Citation Graph (0, 0)][DBLP ] Processes, Terms and Cycles, 2005, pp:106-126 [Conf ] José Meseguer , Ugo Montanari , Vladimiro Sassone Representation Theorems for Petri Nets. [Citation Graph (0, 0)][DBLP ] Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:239-249 [Conf ] Rocco De Nicola , Gian Luigi Ferrari , Ugo Montanari , Rosario Pugliese , Emilio Tuosto A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP ] Verification: Theory and Practice, 2003, pp:436-479 [Conf ] Roberto Gorrieri , Sergio Marchetti , Ugo Montanari A²CCS: A Simple Extension of CCS for Handling Atomic Actions. [Citation Graph (0, 0)][DBLP ] CAAP, 1988, pp:258-270 [Conf ] Gian Luigi Ferrari , Ugo Montanari Towards the Unification of Models for Concurrency. [Citation Graph (0, 0)][DBLP ] CAAP, 1990, pp:162-176 [Conf ] Ugo Montanari , Francesca Rossi Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics. [Citation Graph (0, 0)][DBLP ] CAAP, 1992, pp:232-247 [Conf ] Roberto Bruni , Ivan Lanese , Ugo Montanari Complete Axioms for Stateless Connectors. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:98-113 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto , Björn Victor , Kidane Yemane Modelling Fusion Calculus using HD-Automata. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:142-156 [Conf ] Gian Luigi Ferrari , Stefania Gnesi , Ugo Montanari , Marco Pistore , Gioia Ristori Verifying Mobile Processes in the HAL Environment. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:511-515 [Conf ] Paolo Baldan , Fabio Gadducci , Ugo Montanari Concurrent Rewriting for Graphs with Equivalences. [Citation Graph (0, 0)][DBLP ] CONCUR, 2006, pp:279-294 [Conf ] Roberto Bruni , Michael J. Butler , Carla Ferreira , C. A. R. Hoare , Hernán C. Melgratti , Ugo Montanari Comparing Two Approaches to Compensable Flow Composition. [Citation Graph (0, 0)][DBLP ] CONCUR, 2005, pp:383-397 [Conf ] Roberto Bruni , David de Frutos-Escrig , Narciso Martí-Oliet , Ugo Montanari Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:259-274 [Conf ] Roberto Bruni , Fabio Gadducci , Ugo Montanari , Pawel Sobocinski Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2005, pp:293-307 [Conf ] Roberto Bruni , Cosimo Laneve , Ugo Montanari Orchestrating Transactions in Join Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 2002, pp:321-337 [Conf ] Roberto Bruni , Hernán C. Melgratti , Ugo Montanari Event Structure Semantics for Nominal Calculi. [Citation Graph (0, 0)][DBLP ] CONCUR, 2006, pp:295-309 [Conf ] Maria Grazia Buscemi , Ugo Montanari A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. [Citation Graph (0, 0)][DBLP ] CONCUR, 2002, pp:449-465 [Conf ] Gian Luigi Ferrari , Ugo Montanari The Observation Algebra of Spatial Pomsets. [Citation Graph (0, 0)][DBLP ] CONCUR, 1991, pp:188-202 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Paola Quaglia The Weak Late pi-Calculus Semantics as Observation Equivalence. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:57-71 [Conf ] Dan Hirsch , Ugo Montanari Synchronized Hyperedge Replacement with Name Mobility. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:121-136 [Conf ] Roberto Gorrieri , Ugo Montanari SCONE: A Simple Calculus of Nets. [Citation Graph (0, 0)][DBLP ] CONCUR, 1990, pp:2-30 [Conf ] José Meseguer , Ugo Montanari , Vladimiro Sassone On the Semantics of Petri Nets. [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:286-301 [Conf ] Ugo Montanari , Marco Pistore Checking Bisimilarity for Finitary pi-Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:42-56 [Conf ] Rocco De Nicola , Ugo Montanari , Frits W. Vaandrager Back and Forth Bisimulations. [Citation Graph (0, 0)][DBLP ] CONCUR, 1990, pp:152-165 [Conf ] Dan Hirsch , Paola Inverardi , Ugo Montanari Reconfiguration of Software Architecture Styles with Name Mobility. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2000, pp:148-163 [Conf ] Ugo Montanari , Francesca Rossi Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract). [Citation Graph (0, 0)][DBLP ] COORDINATION, 1996, pp:12-27 [Conf ] Rocco De Nicola , Gian Luigi Ferrari , Ugo Montanari , Rosario Pugliese , Emilio Tuosto A Process Calculus for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2005, pp:33-48 [Conf ] Stefano Bistarelli , Hélène Fargier , Ugo Montanari , Francesca Rossi , Thomas Schiex , Gérard Verfaillie Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. [Citation Graph (0, 0)][DBLP ] Over-Constrained Systems, 1995, pp:111-150 [Conf ] Andrea Corradini , Ugo Montanari An Algebra of Graphs and Graph Rewriting. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1991, pp:236-260 [Conf ] Ugo Montanari , Daniel Yankelevich An Algebraic View of Interleaving and Distributed Operational Semantics for CCS. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1989, pp:5-20 [Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi Abstract Graph Derivations in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:86-103 [Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:119-137 [Conf ] José Luiz Fiadeiro , Ugo Montanari , Martin Wirsing 05081 Abstracts Collection - Foundations of Global Computing. [Citation Graph (0, 0)][DBLP ] Foundations of Global Computing, 2005, pp:- [Conf ] Barbara König , Ugo Montanari , Philippa Gardner 04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. [Citation Graph (0, 0)][DBLP ] Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf ] Ivan Lanese , Ugo Montanari Insights emerged while comparing three models for global computing. [Citation Graph (0, 0)][DBLP ] Foundations of Global Computing, 2005, pp:- [Conf ] Ugo Montanari , Francesca Rossi Contextual Occurence Nets and Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:280-295 [Conf ] Roberto Bruni , Gian Luigi Ferrari , Hernán C. Melgratti , Ugo Montanari , Daniele Strollo , Emilio Tuosto From Theory to Practice in Transactional Composition of Web Services. [Citation Graph (0, 0)][DBLP ] EPEW/WS-FM, 2005, pp:272-286 [Conf ] Alessandro Fantechi , Stefania Gnesi , Paola Inverardi , Ugo Montanari An Executon Environment for the Formal Definiton of Ada. [Citation Graph (0, 0)][DBLP ] ESEC, 1987, pp:327-335 [Conf ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Soft Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] ESOP, 2002, pp:53-67 [Conf ] Ugo Montanari , Marco Pistore , Daniel Yankelevich Efficient Minimization up to Location Equivalence. [Citation Graph (0, 0)][DBLP ] ESOP, 1996, pp:265-279 [Conf ] Roberto Bruni , José Meseguer , Ugo Montanari Executable Tile Specifications for Process Calculi. [Citation Graph (0, 0)][DBLP ] FASE, 1999, pp:60-76 [Conf ] Andrea Corradini , Reiko Heckel , Ugo Montanari Tile Transition Systems as Structured Coalgebras. [Citation Graph (0, 0)][DBLP ] FCT, 1999, pp:13-38 [Conf ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari Partial ordering derivations for CCS. [Citation Graph (0, 0)][DBLP ] FCT, 1985, pp:520-533 [Conf ] Andrea Corradini , Ugo Montanari , Francesca Rossi SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:887-896 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Roberto Raggi , Emilio Tuosto From Co-algebraic Specifications to Implementation: The Mihda Toolkit. [Citation Graph (0, 0)][DBLP ] FMCO, 2002, pp:319-338 [Conf ] Gian Luigi Ferrari , Dan Hirsch , Ivan Lanese , Ugo Montanari , Emilio Tuosto Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. [Citation Graph (0, 0)][DBLP ] FMCO, 2005, pp:22-43 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1998, pp:63-80 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari Unfolding and Event Structure Semantics for Graph Grammars. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 1999, pp:73-89 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Marco Pistore Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2002, pp:129-158 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto Model Checking for Nominal Calculi. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2005, pp:1-24 [Conf ] Ilaria Castellani , Ugo Montanari Graph Grammars for distributed systems. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1982, pp:20-38 [Conf ] Alfonso Catalano , Stefania Gnesi , Ugo Montanari Shortest Path Problems and Tree Grammars: An Algebraic Framework. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:167-179 [Conf ] Andrea Corradini , Ugo Montanari , Francesca Rossi , Hartmut Ehrig , Reiko Heckel , Michael Löwe Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. [Citation Graph (0, 0)][DBLP ] Handbook of Graph Grammars, 1997, pp:163-246 [Conf ] Andrea Corradini , Ugo Montanari , Francesca Rossi , Hartmut Ehrig , Michael Löwe Graph Grammars and Logic Programming. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1990, pp:221-237 [Conf ] Ugo Montanari , Leila Ribeiro Linear Ordered Graph Grammars and Their Algebraic Foundations. [Citation Graph (0, 0)][DBLP ] ICGT, 2002, pp:317-333 [Conf ] Ugo Montanari , Francesca Rossi An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1986, pp:440-457 [Conf ] Francesco Parisi-Presicce , Hartmut Ehrig , Ugo Montanari Graph rewriting with unification and composition. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1986, pp:496-514 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari Concatenable Graph Processes: Relating Processes and Derivation Traces. [Citation Graph (0, 0)][DBLP ] ICALP, 1998, pp:283-295 [Conf ] Andrea Corradini , Reiko Heckel , Ugo Montanari Graphical Operational Semantics. [Citation Graph (0, 0)][DBLP ] ICALP Satellite Workshops, 2000, pp:411-418 [Conf ] Fabio Gadducci , Ugo Montanari Axioms for Contextual Net Processes. [Citation Graph (0, 0)][DBLP ] ICALP, 1998, pp:296-308 [Conf ] Alberto Martelli , Ugo Montanari Dynamic Programming Schemata. [Citation Graph (0, 0)][DBLP ] ICALP, 1974, pp:66-80 [Conf ] Ugo Montanari , Daniel Yankelevich A Parametric Approach to Localities. [Citation Graph (0, 0)][DBLP ] ICALP, 1992, pp:617-628 [Conf ] Rocco De Nicola , A. Matelli , Ugo Montanari Communication Through Message Passing or Shared Memory: A Formal Comparison. [Citation Graph (0, 0)][DBLP ] ICDCS, 1981, pp:513-522 [Conf ] Ugo Montanari , Francesca Rossi Perfect Relaxation in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:223-237 [Conf ] Patrizia Asirelli , Pierpaolo Degano , Giorgio Levi , Alberto Martelli , Ugo Montanari , Giuliano Pacini , Franco Sirovich , Franco Turini A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP ] ICSE, 1979, pp:251-264 [Conf ] Roberto Bruni , José Meseguer , Ugo Montanari , Vladimiro Sassone Algebraic Theories for Contextual Pre-nets. [Citation Graph (0, 0)][DBLP ] ICTCS, 2003, pp:256-270 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto A LTS Semantics of Ambients via Graph Synchronization with Mobility. [Citation Graph (0, 0)][DBLP ] ICTCS, 2001, pp:1-16 [Conf ] Alberto Martelli , Ugo Montanari Optimal Smoothing in Picture Processing: An Application to Fingerprints. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1971, pp:173-178 [Conf ] Ugo Montanari On the Optimal Approximation of Discrete Functions with Low-dimensional Tables. [Citation Graph (0, 0)][DBLP ] IFIP Congress (2), 1971, pp:1363-1368 [Conf ] Ugo Montanari Optimization Methods in Image Processing. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1974, pp:727-732 [Conf ] Roberto Bruni , José Luiz Fiadeiro , Ivan Lanese , Antónia Lopes , Ugo Montanari New Insights on Architectural Connectors. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:367-380 [Conf ] Roberto Bruni , Hernán C. Melgratti , Ugo Montanari Nested Commits for Mobile Calculi: Extending Join. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:563-576 [Conf ] Roberto Bruni , Ugo Montanari , Vladimiro Sassone Open Ended Systems, Dynamic Bisimulation and Tile Logic. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2000, pp:440-456 [Conf ] Ugo Montanari Two Problems in Wide Area Network Programming. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2000, pp:609-611 [Conf ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Constraint Solving over Semirings. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:624-630 [Conf ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Semiring-based Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:352-357 [Conf ] Alberto Martelli , Ugo Montanari Additive AND/OR Graphs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1973, pp:1-11 [Conf ] Alberto Martelli , Ugo Montanari Form Dynamic Programming To Search Algorithms With Functional Costs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1975, pp:345-350 [Conf ] Alberto Martelli , Ugo Montanari Theorem Proving with Structure Sharing and Efficient Unification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:543- [Conf ] Francesca Rossi , Ugo Montanari Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. [Citation Graph (0, 0)][DBLP ] KR, 1989, pp:394-399 [Conf ] Filippo Bonchi , Barbara König , Ugo Montanari Saturated Semantics for Reactive Systems. [Citation Graph (0, 0)][DBLP ] LICS, 2006, pp:69-80 [Conf ] Roberto Bruni , Ugo Montanari Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. [Citation Graph (0, 0)][DBLP ] LICS, 1999, pp:246-265 [Conf ] Pierpaolo Degano , José Meseguer , Ugo Montanari Axiomatizing Net Computations and Processes [Citation Graph (0, 0)][DBLP ] LICS, 1989, pp:175-185 [Conf ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:133-141 [Conf ] José Meseguer , Ugo Montanari Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:155-164 [Conf ] Andrea Corradini , Gian Luigi Ferrari , Ugo Montanari Transition Systems with Algebraic Structure as Models of Computations. [Citation Graph (0, 0)][DBLP ] Semantics of Systems of Concurrent Processes, 1990, pp:185-222 [Conf ] Francesca Rossi , Ugo Montanari Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. [Citation Graph (0, 0)][DBLP ] META, 1988, pp:531-544 [Conf ] Luigia Carlucci Aiello , Ugo Montanari Towards a Formal Definition of the Control in Structured Programs. [Citation Graph (0, 0)][DBLP ] MFCS, 1973, pp:169-174 [Conf ] Gian Luigi Ferrari , Ugo Montanari A Tile-Based Coordination View of Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] MFCS, 1997, pp:52-70 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Paola Quaglia A Pi-Calculus with Explicit Substitutions: the Late Semantics. [Citation Graph (0, 0)][DBLP ] MFCS, 1994, pp:342-351 [Conf ] V. Giarratana , F. Gimona , Ugo Montanari Observability Concepts in Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP ] MFCS, 1976, pp:576-587 [Conf ] Cosimo Laneve , Ugo Montanari Mobility in the CC-Paradigm. [Citation Graph (0, 0)][DBLP ] MFCS, 1992, pp:336-345 [Conf ] Ugo Montanari , Marco Pistore pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. [Citation Graph (0, 0)][DBLP ] MFCS, 2000, pp:569-578 [Conf ] Ugo Montanari , Vladimiro Sassone CCS Dynamic Bisimulation is Progressing. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:346-356 [Conf ] Ugo Montanari True Concurrency: Theory and Practice. [Citation Graph (0, 0)][DBLP ] MPC, 1992, pp:14-17 [Conf ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari Observation Trees. [Citation Graph (0, 0)][DBLP ] NAPAW, 1992, pp:103-118 [Conf ] Roberto Bruni , Hernán C. Melgratti , Ugo Montanari Theoretical foundations for compensations in flow composition languages. [Citation Graph (0, 0)][DBLP ] POPL, 2005, pp:209-220 [Conf ] Ugo Montanari , Francesca Rossi Constraint Satisfaction, Constraint Programming, and Concurrency. [Citation Graph (0, 0)][DBLP ] PPCP, 1993, pp:219-227 [Conf ] Ugo Montanari , Francesca Rossi , Francisco Bueno , Maria J. García de la Banda , Manuel V. Hermenegildo Towards a Concurrent Semantics based Analysis of CC and CLP. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:151-161 [Conf ] Ugo Montanari , Francesca Rossi , Vijay A. Saraswat CC Programs with both In- and Non-determinism: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP ] PPCP, 1994, pp:162-172 [Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi An Event Structure Semantics for Safe Graph Grammars. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1994, pp:423-444 [Conf ] Nicoletta De Francesco , Ugo Montanari , Gioia Ristori Modelling Concurrent Accesses to Shared Data via Petri Nets. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1994, pp:403-422 [Conf ] Furio Honsell , Marina Lenisa , Ugo Montanari , Marco Pistore Final semantics for the pi-calculus. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1998, pp:225-243 [Conf ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari Partial orderings descriptions and observations of nondeterministic concurrent processes. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1988, pp:438-466 [Conf ] Andrea Corradini , Fabio Gadducci , Ugo Montanari Relating Two Categorial Models of Term Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 1995, pp:225-240 [Conf ] Ugo Montanari , Marco Pistore History-Dependent Automata: An Introduction. [Citation Graph (0, 0)][DBLP ] SFM, 2005, pp:1-28 [Conf ] Andrea Corradini , Ugo Montanari An Algebraic Semantics of Logic Programs as Structured Transition Systems. [Citation Graph (0, 0)][DBLP ] NACLP, 1990, pp:788-812 [Conf ] Ugo Montanari , Francesca Rossi True Concurrency in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:694-713 [Conf ] Andrea Corradini , Ugo Montanari Towards a Process Semantics in the Logic Programming Style. [Citation Graph (0, 0)][DBLP ] STACS, 1990, pp:95-108 [Conf ] Ugo Montanari , Marco Pistore Minimal Transition Systems for History-Preserving Bisimulation. [Citation Graph (0, 0)][DBLP ] STACS, 1997, pp:413-425 [Conf ] Pierpaolo Degano , Ugo Montanari Liveness Properties as Convergence in Metric Spaces [Citation Graph (0, 0)][DBLP ] STOC, 1984, pp:31-38 [Conf ] Gian Luigi Ferrari , Gianluigi Ferro , Stefania Gnesi , Ugo Montanari , Marco Pistore , Gioia Ristori An Automated Based Verification Environment for Mobile Processes. [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:275-289 [Conf ] Ugo Montanari , Marco Pistore Finite State Verification for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP ] TACAS, 1999, pp:255-269 [Conf ] Barbara König , Ugo Montanari Observational Equivalence for Synchronized Graph Rewriting with Mobility. [Citation Graph (0, 0)][DBLP ] TACS, 2001, pp:145-164 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari Unfolding of Double-Pushout Graph Grammars is a Coreflection. [Citation Graph (0, 0)][DBLP ] TAGT, 1998, pp:145-163 [Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Julia Padberg The Category of Typed Graph Grammars and its Adjunctions with Categories. [Citation Graph (0, 0)][DBLP ] TAGT, 1994, pp:56-74 [Conf ] Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi An Event Structure Semantics for Graph Grammars with Parallel Productions. [Citation Graph (0, 0)][DBLP ] TAGT, 1994, pp:240-256 [Conf ] Pierpaolo Degano , Ugo Montanari Specification Languages for Distributed Systems. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1985, pp:29-51 [Conf ] Gian Luigi Ferrari , Roberto Gorrieri , Ugo Montanari An Extended Expansion Theorem. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1991, pp:29-48 [Conf ] Michele Boreale , Maria Grazia Buscemi , Ugo Montanari A General Name Binding Mechanism. [Citation Graph (0, 0)][DBLP ] TGC, 2005, pp:61-74 [Conf ] Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto Graph-Based Models of Internetworking Systems. [Citation Graph (0, 0)][DBLP ] 10th Anniversary Colloquium of UNU/IIST, 2002, pp:242-266 [Conf ] Gian Luigi Ferrari , Stefania Gnesi , Ugo Montanari , Roberto Raggi , Gianluca Trentanni , Emilio Tuosto Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP ] VVEIS, 2004, pp:72-74 [Conf ] Luis Filipe Andrade , Paolo Baldan , Hubert Baumeister , Roberto Bruni , Andrea Corradini , Rocco De Nicola , José Luiz Fiadeiro , Fabio Gadducci , Stefania Gnesi , Piotr Hoffman , Nora Koch , Piotr Kosiuczenko , Alessandro Lapadula , Diego Latella , Antónia Lopes , Michele Loreti , Mieke Massink , Franco Mazzanti , Ugo Montanari , Cristóvão Oliveira , Rosario Pugliese , Andrzej Tarlecki , Michel Wermelinger , Martin Wirsing , Artur Zawlocki AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:1-33 [Conf ] Paolo Baldan , Roberto Bruni , Ugo Montanari Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:145-164 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari History Preserving Bisimulation for Contextual Nets. [Citation Graph (0, 0)][DBLP ] WADT, 1999, pp:291-310 [Conf ] Paolo Baldan , Andrea Corradini , Ugo Montanari , Leila Ribeiro Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:165-184 [Conf ] José Meseguer , Ugo Montanari Mapping tile logic into rewriting logic. [Citation Graph (0, 0)][DBLP ] WADT, 1997, pp:62-91 [Conf ] Roberto Bruni , Fabio Gadducci , Ugo Montanari Normal Forms for Partitions and Relations. [Citation Graph (0, 0)][DBLP ] WADT, 1998, pp:31-47 [Conf ] Roberto Bruni , Ugo Montanari Zero-safe nets: The individual token approach. [Citation Graph (0, 0)][DBLP ] WADT, 1997, pp:122-140 [Conf ] Ugo Montanari , Francesca Rossi Finite Domain Constraint Solving and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] WCLP, 1991, pp:201-221 [Conf ] Dan Hirsch , Paola Inverardi , Ugo Montanari Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. [Citation Graph (0, 0)][DBLP ] WICSA, 1999, pp:127-144 [Conf ] Michele Boreale , Roberto Bruni , Luís Caires , Rocco De Nicola , Ivan Lanese , Michele Loreti , Francisco Martins , Ugo Montanari , António Ravara , Davide Sangiorgi , Vasco Thudichum Vasconcelos , Gianluigi Zavattaro SCC: A Service Centered Calculus. [Citation Graph (0, 0)][DBLP ] WS-FM, 2006, pp:38-57 [Conf ] Pierpaolo Degano , José Meseguer , Ugo Montanari Axiomatizing the Algebra of Net Computations and Processes. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1996, v:33, n:7, pp:641-667 [Journal ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari A Distributed Operational Semantics for CCS Based on Condition/Event Systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:26, n:1/2, pp:59-91 [Journal ] Ugo Montanari , Francesca Rossi Contextual Nets [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:6, pp:545-596 [Journal ] Ugo Montanari Heuristically Guided Search and Chromosome Matching. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1970, v:1, n:4, pp:227-245 [Journal ] Ugo Montanari On the Optimal Detection of Curves in Noisy Pictures. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1971, v:14, n:5, pp:335-345 [Journal ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi , Thomas Schiex , Gérard Verfaillie , Hélène Fargier Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. [Citation Graph (0, 0)][DBLP ] Constraints, 1999, v:4, n:3, pp:199-240 [Journal ] Ugo Montanari , Francesca Rossi Constraint Solving and Programming: What Next? [Citation Graph (0, 0)][DBLP ] Constraints, 1997, v:2, n:1, pp:87-91 [Journal ] Roberto Bruni , Ugo Montanari , Francesca Rossi An interactive semantics of logic programming [Citation Graph (0, 0)][DBLP ] CoRR, 2001, v:0, n:, pp:- [Journal ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Soft Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Ugo Montanari Causal Computing. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:51- [Journal ] Ugo Montanari , Francesca Rossi Constraint Solving and Programming: What's Next? [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:70- [Journal ] Paolo Baldan , Andrea Corradini , Ugo Montanari Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:5-28 [Journal ] Roberto Bruni , Ugo Montanari Zero-safe net models for transactions in Linda. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal ] Roberto Bruni , Ugo Montanari Zero-safe nets, or transition synchronization made simple. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal ] Roberto Bruni , José Meseguer , Ugo Montanari Tiling Transactions in Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal ] Roberto Bruni , Hernán C. Melgratti , Ugo Montanari Flat Committed Join in Join. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:39-59 [Journal ] Roberto Bruni , José Meseguer , Ugo Montanari Internal strategies in a rewriting implementation of tile systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal ] Matteo Coccia , Fabio Gadducci , Ugo Montanari GS.Lambda Theories: A Syntax for Higher-Order Graphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal ] Andrea Corradini , Reiko Heckel , Ugo Montanari From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal ] Andrea Corradini , Marina Lenisa , Ugo Montanari Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal ] Andrea Corradini , Ugo Montanari Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Gian Luigi Ferrari , Ugo Montanari Tiles for concurrent and located calculi? [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal ] Fabio Gadducci , Piergiulio Katis , Ugo Montanari , Nicoletta Sabadini , Robert F. C. Walters Comparing cospan-spans and tiles via a Hoare-style process calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal ] Fabio Gadducci , Ugo Montanari A Concurrent Graph Semantics for Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal ] Fabio Gadducci , Ugo Montanari Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:1-2 [Journal ] Fabio Gadducci , Ugo Montanari Tiles, rewriting rules and CCS. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal ] Fabio Gadducci , Marino Miculan , Ugo Montanari Some Characterization Results for Permutation Algebras. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:129-147 [Journal ] Dan Hirsch , Ugo Montanari Two Graph-Based Techniques for Software Architecture Reconfiguration. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Dan Hirsch , Ugo Montanari Shaped Hierarchical Architectural Design. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:97-109 [Journal ] Dan Hirsch , Ugo Montanari Consistent transformations for software architecture styles of distributed systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal ] Ivan Lanese , Ugo Montanari A Graphical Fusion Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:199-215 [Journal ] Ivan Lanese , Ugo Montanari Synchronization Algebras with Mobility for Graph Transformations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:43-60 [Journal ] Ivan Lanese , Ugo Montanari Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:55-72 [Journal ] Alberto Lluch-Lafuente , Ugo Montanari Quantitative ?-calculus and CTL Based on Constraint Semirings. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:37-59 [Journal ] Ugo Montanari Web Services and Models of Computation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:5-9 [Journal ] Ugo Montanari , Marco Pistore Concurrent semantics for the pi-calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal ] Ugo Montanari , Marco Pistore An Introduction to History Dependent Automata. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal ] Ugo Montanari , Vladimiro Sassone Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal ] Ugo Montanari , Carolyn L. Talcott Can Actors and pi-Agents Live Together? [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal ] Maria Grazia Buscemi , Ugo Montanari A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:135-139 [Journal ] Paolo Baldan , Fabio Gadducci , Ugo Montanari Modelling Calculi with Name Mobility using Graphs with Equivalences. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:176, n:1, pp:85-97 [Journal ] Andrea Corradini , Ugo Montanari , Francesca Rossi Graph Processes. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:26, n:3/4, pp:241-265 [Journal ] Gian Luigi Ferrari , Ugo Montanari Parameterized Structured Operational Semantics. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1998, v:34, n:1-2, pp:1-31 [Journal ] Ugo Montanari , Gioia Ristori A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1997, v:31, n:3/4, pp:357-377 [Journal ] Ugo Montanari , Vladimiro Sassone Dynamic congruence vs. progressing bisimulation for CCS. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1992, v:16, n:1, pp:171-199 [Journal ] Ugo Montanari , Daniel Yankelevich Combining CCS and Petri Nets Via Structural Axioms. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:20, n:1/2/3, pp:193-229 [Journal ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Soft Constraint Logic Programming and Generalized Shortest Path Problems. [Citation Graph (0, 0)][DBLP ] J. Heuristics, 2002, v:8, n:1, pp:25-41 [Journal ] Paolo Baldan , Andrea Corradini , Ugo Montanari Contextual Petri Nets, Asymmetric Event Structures, and Processes. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2001, v:171, n:1, pp:1-49 [Journal ] Roberto Bruni , Ugo Montanari Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2000, v:156, n:1-2, pp:46-89 [Journal ] Roberto Bruni , José Meseguer , Ugo Montanari , Vladimiro Sassone Functorial Models for Petri Nets. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2001, v:170, n:2, pp:207-236 [Journal ] Gian Luigi Ferrari , Ugo Montanari Tile Formats for Located and Mobile Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2000, v:156, n:1-2, pp:173-235 [Journal ] Giorgio Levi , Ugo Montanari A Grey-Weighted Skeleton [Citation Graph (0, 0)][DBLP ] Information and Control, 1970, v:17, n:1, pp:62-91 [Journal ] José Meseguer , Ugo Montanari Petri Nets Are Monoids [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1990, v:88, n:2, pp:105-155 [Journal ] Ugo Montanari Separable Graphs, Planar Graphs and Web Grammars [Citation Graph (0, 0)][DBLP ] Information and Control, 1970, v:16, n:3, pp:243-267 [Journal ] Roberto Gorrieri , Ugo Montanari Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:277-294 [Journal ] Ugo Montanari Networks of constraints: Fundamental properties and applications to picture processing. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1974, v:7, n:, pp:95-132 [Journal ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Semiring-based constraint satisfaction and optimization. [Citation Graph (0, 0)][DBLP ] J. ACM, 1997, v:44, n:2, pp:201-236 [Journal ] Pierpaolo Degano , Ugo Montanari A model for distributed systems based on graph rewriting. [Citation Graph (0, 0)][DBLP ] J. ACM, 1987, v:34, n:2, pp:411-449 [Journal ] Stefania Gnesi , Ugo Montanari , Alberto Martelli Dynamic Programming as Graph Searching: An Algebraic Approach. [Citation Graph (0, 0)][DBLP ] J. ACM, 1981, v:28, n:4, pp:737-751 [Journal ] Ugo Montanari A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance. [Citation Graph (0, 0)][DBLP ] J. ACM, 1968, v:15, n:4, pp:600-624 [Journal ] Ugo Montanari Continuous Skeletons from Digitized Images. [Citation Graph (0, 0)][DBLP ] J. ACM, 1969, v:16, n:1, pp:534-549 [Journal ] Ugo Montanari On Limit Properties in Digitization Schemes. [Citation Graph (0, 0)][DBLP ] J. ACM, 1970, v:17, n:2, pp:348-360 [Journal ] Pierpaolo Degano , Ugo Montanari Concurrent Histories: A Basis for Observing Distributed Systems. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:422-461 [Journal ] Fabio Gadducci , Marino Miculan , Ugo Montanari About permutation algebras, (pre)sheaves and named sets. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:283-304 [Journal ] Ugo Montanari , Francesca Rossi Concurrency and Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:171-192 [Journal ] Roberto Bruni , Ugo Montanari Concurrent models for Linda with transactions. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:421-468 [Journal ] Roberto Bruni , José Meseguer , Ugo Montanari Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:53-90 [Journal ] Gian Luigi Ferrari , Ugo Montanari , Miranda Mowbray Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1997, v:7, n:3, pp:241-282 [Journal ] José Meseguer , Ugo Montanari , Vladimiro Sassone On the Semantics of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1997, v:7, n:4, pp:359-397 [Journal ] Cosimo Laneve , Ugo Montanari Axiomatizing Permutation Equivalence. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:219-249 [Journal ] Francisco Bueno , Manuel V. Hermenegildo , Ugo Montanari , Francesca Rossi Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1998, v:30, n:1-2, pp:51-82 [Journal ] Nicoletta De Francesco , Ugo Montanari , Daniel Yankelevich Axiomatizing CCS, Nets and Processes. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:21, n:3, pp:225-261 [Journal ] Roberto Bruni , Fabio Gadducci , Ugo Montanari Normal forms for algebras of connection. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:286, n:2, pp:247-292 [Journal ] Roberto Bruni , Ivan Lanese , Ugo Montanari A basic algebra of stateless connectors. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:366, n:1-2, pp:98-120 [Journal ] Roberto Bruni , Ugo Montanari Dynamic connectors for concurrency. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:281, n:1-2, pp:131-176 [Journal ] Roberto Bruni , José Meseguer , Ugo Montanari , Vladimiro Sassone Functorial semantics for Petri nets under the individual token philosophy. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal ] Roberto Bruni , Ugo Montanari , Vladimiro Sassone Observational congruences for dynamically reconfigurable tile systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:335, n:2-3, pp:331-372 [Journal ] Andrea Corradini , Reiko Heckel , Ugo Montanari Compositional SOS and beyond: a coalgebraic view of open systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:280, n:1-2, pp:163-192 [Journal ] Andrea Corradini , Ugo Montanari An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:103, n:1, pp:51-106 [Journal ] Andrea Corradini , Ugo Montanari , Francesca Rossi An Abstract Machine for Concurrent Modular Systems: CHARM. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:122, n:1&2, pp:165-200 [Journal ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari A Partial Ordering Semantics for CCS. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:75, n:3, pp:223-262 [Journal ] Pierpaolo Degano , Rocco De Nicola , Ugo Montanari Universal Axioms for Bisimulations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:1, pp:63-91 [Journal ] Gian Luigi Ferrari , Ugo Montanari , Paola Quaglia A Pi-Calculus with Explicit Substitutions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:168, n:1, pp:53-103 [Journal ] Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:331, n:2-3, pp:325-365 [Journal ] Fabio Gadducci , Ugo Montanari Comparing logics for rewriting: rewriting logic, action calculi and tile logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:285, n:2, pp:319-358 [Journal ] Roberto Gorrieri , Ugo Montanari On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:141, n:1&2, pp:195-252 [Journal ] Roberto Gorrieri , Sergio Marchetti , Ugo Montanari A2CCKS: Atomic Actions for CCS. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:72, n:2&3, pp:203-223 [Journal ] Alberto Lluch-Lafuente , Ugo Montanari Quantitative mu-calculus and CTL defined over constraint semirings. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:346, n:1, pp:135-160 [Journal ] José Meseguer , Ugo Montanari , Vladimiro Sassone Process versus Unfolding Semantics for Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:171-210 [Journal ] Ugo Montanari , Marco Pistore Structured coalgebras and minimal HD-automata for the pi -calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:340, n:3, pp:539-576 [Journal ] Ugo Montanari , Francesca Rossi Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:109, n:1&2, pp:225-256 [Journal ] Ugo Montanari , Daniel Yankelevich Location Equivalence in Parametric Setting. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:149, n:2, pp:299-332 [Journal ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Soft concurrent constraint programming. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2006, v:7, n:3, pp:563-589 [Journal ] Gian Luigi Ferrari , Stefania Gnesi , Ugo Montanari , Marco Pistore A model-checking verification environment for mobile processes. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:440-473 [Journal ] Roberto Bruni , Ugo Montanari , Francesca Rossi An interactive semantics of logic programming. [Citation Graph (0, 0)][DBLP ] TPLP, 2001, v:1, n:6, pp:647-690 [Journal ] Filippo Bonchi , Ugo Montanari Coalgebraic Models for Reactive Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2007, pp:364-379 [Conf ] Maria Grazia Buscemi , Ugo Montanari CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. [Citation Graph (0, 0)][DBLP ] ESOP, 2007, pp:18-32 [Conf ] Maria Grazia Buscemi , Laura Ferrari , Corrado Moiso , Ugo Montanari Constraint-Based Policy Negotiation and Enforcement for Telco Services. [Citation Graph (0, 0)][DBLP ] TASE, 2007, pp:463-472 [Conf ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi , Francesco Santini Unicast and Multicast Qos Routing with Soft Constraint Logic Programming [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Ivan Lanese , Ugo Montanari Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming [Citation Graph (0, 0)][DBLP ] CoRR, 2005, v:0, n:, pp:- [Journal ] Alberto Baragatti , Roberto Bruni , Hernán C. Melgratti , Ugo Montanari , Giorgio Spagnolo Prototype Platforms for Distributed Agreements. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:21-40 [Journal ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi , Francesco Santini Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:111-127 [Journal ] Paolo Baldan , Andrea Corradini , Ugo Montanari , Leila Ribeiro Unfolding semantics of graph transformation. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:5, pp:733-782 [Journal ] Maria Grazia Buscemi , Ugo Montanari A compositional coalgebraic model of fusion calculus. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:72, n:1, pp:78-97 [Journal ] The tile model. [Citation Graph (, )][DBLP ] Coalgebraic Symbolic Semantics. [Citation Graph (, )][DBLP ] Open Bisimulation for the Concurrent Constraint Pi-Calculus. [Citation Graph (, )][DBLP ] Minimization Algorithm for Symbolic Bisimilarity. [Citation Graph (, )][DBLP ] Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. [Citation Graph (, )][DBLP ] Symbolic Semantics Revisited. [Citation Graph (, )][DBLP ] Saturated LTSs for Adhesive Rewriting Systems. [Citation Graph (, )][DBLP ] A Service-Oriented UML Profile with Formal Support. [Citation Graph (, )][DBLP ] Service Oriented Architectural Design. [Citation Graph (, )][DBLP ] Tiles for Reo. [Citation Graph (, )][DBLP ] Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems. [Citation Graph (, )][DBLP ] A Name Abstraction Functor for Named Sets. [Citation Graph (, )][DBLP ] A Coalgebraic Theory of Reactive Systems. [Citation Graph (, )][DBLP ] Hierarchical Design Rewriting with Maude. [Citation Graph (, )][DBLP ] Search in 0.016secs, Finished in 0.847secs