SCC: A Service Centered Calculus
Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
BISTARELLI, S, MONTANARI, U, ROSSI, F, SCHIEX, T, VERFAILLIE, G, FARGIER, H
Published in Constraints : an international journal (1999)
Published in Constraints : an international journal (1999)
Get full text
Journal Article
Partial order and contextual net semantics for atomic and locally atomic CC programs
Bueno, F., Hermenegildo, M., Montanari, U., Rossi, F.
Published in Science of computer programming (1998)
Published in Science of computer programming (1998)
Get full text
Journal Article
Concurrency and Probability: Removing Confusion, Compositionally
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Published in Logical methods in computer science (01.12.2019)
Published in Logical methods in computer science (01.12.2019)
Get full text
Journal Article
Structured coalgebras and minimal HD-automata for the π -calculus
Get full text
Journal Article
Conference Proceeding
Contextual Petri Nets, Asymmetric Event Structures, and Processes
Baldan, Paolo, Corradini, Andrea, Montanari, Ugo
Published in Information and computation (25.11.2001)
Published in Information and computation (25.11.2001)
Get full text
Journal Article
Quantitative μ-calculus and CTL defined over constraint semirings
Get full text
Journal Article
Conference Proceeding
A Process Calculus for QoS-Aware Applications
De Nicola, Rocco, Ferrari, Gianluigi, Montanari, Ugo, Pugliese, Rosario, Tuosto, Emilio
Published in Coordination Models and Languages (2005)
Published in Coordination Models and Languages (2005)
Get full text
Book Chapter
Conference Proceeding
Coalgebraic minimization of HD-automata for the π -calculus using polymorphic types
Get full text
Journal Article
Conference Proceeding
From Theory to Practice in Transactional Composition of Web Services
Bruni, Roberto, Ferrari, Gianluigi, Melgratti, Hernán, Montanari, Ugo, Strollo, Daniele, Tuosto, Emilio
Published in Formal Techniques for Computer Systems and Business Processes (2005)
Published in Formal Techniques for Computer Systems and Business Processes (2005)
Get full text
Book Chapter
Conference Proceeding
Normal forms for algebras of connections
Bruni, Roberto, Gadducci, Fabio, Montanari, Ugo
Published in Theoretical computer science (17.09.2002)
Published in Theoretical computer science (17.09.2002)
Get full text
Journal Article
Conference Proceeding