Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
Abstract. We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is...
Mariangiola Dezani-ciancaglini, Elena Giachino, Luca Padovani
Abstract. We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is...
Foundation of Session Types (2009)
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
Sessions are a common and widespread mechanism of interaction in distributed architectures. Two processes wanting to interact establish a connection on a common public channel. In this connection...
Foundation of Session Types (2009)
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
Sessions are a common and widespread mechanism of interaction in distributed architectures. Two processes wanting to interact establish a connection on a common public channel. In this connection...
– an algebraic theory for web services contracts (2008)
must preorder revisited
Luca Padovani, Riccardo Solmi, Luca Padovani, Riccardo Solmi, Specifica Iniziale, ...
• Libreria Java per definire dei pattern e, data una configurazione, generare il codice (Java) che li implementa. � Scopo del progetto • Progettare ed implementare un generatore di codice •...
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically...
Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Padovani, Luca
We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically...
The pairing of contracts and session types (2008)
Dedicated to Ugo Montanari in occasion of his 65th birthday Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping,...
– an algebraic theory for web services contracts (2008)
must preorder revisited
– an algebraic theory for web services contracts (2008)
must preorder revisited
Yuzhen Xie, Stephen Watt, Luca Padovani
We are interested in an XML representation for programming languages. Could content markup of MathML be used for this purpose, especially in the setting of a functional programming language? In order...
Re-mathematization of Formal Content (2007)
Montréal Québec, Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, two-dimensional system of symbolic notations. Tools for the...
Formal Mathematics on the Web (2007)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
The World Wide Web is already now the main repository and vehicle for mathematical knowledge,
Paolo Casarini, Paolo Casarini, Luca Padovani, Luca Padovani
The widespread use of Web technologies and, in particular, the ever growing number of applications adopting XML [XML00] as the standard language for the encoding of any piece of structured...
HELM and the Semantic Math-Web (2007)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a...
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
The World Wide Web is already now the main repository and vehicle for mathematical knowledge,
Keywords: DOM; Gnome DOM engine; Tool/implementation: C implementation (2007)
Paolo Casarini, Luca Padovani, Montréal Québec
The widespread use of Web technologies and, in particular, the ever growing number of applications adopting XML [XML00] as the standard language for the encoding of any piece of structured...
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators (2007)
Luca Padovani, Stefano Zacchiroli
PDF and gzipped PostScript formats via anonymous FTP from the area ftp.cs.unibo.it:/pub/TR/UBLCS or via WWW at
Abstract. A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechanism that...
Abstract. A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechanism that...
L.: A distributed implementation of mobile nets as mobile agents (2005)
Abstract. Mobile nets arise as a combination of the name managing techniques of the π-calculus with the representation of concurrency and locality of Petri nets. We propose MAGNETs, a variant of...
Samuele Carpineti, Cosimo Laneve, Leonardo Mezzina, Luca Padovani
“A Web Service is any resource that can be found at a URL (Uniform
An investigation on the dynamics of directmanipulation editors for mathematics (2004)
Abstract. Mathematical expressions are pieces of structured information that could benefit from direct-manipulation approaches for document authoring. Yet, not only there is disagreement on the...
Mathematical Knowledge Management in HELM (2003)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
The paper describes the general philosophy and the main architectural and technological solutions of the HELM Project for the management of large repositories of mathematical knowledge. The...
Luca Padovani, Luca Padovani, Coordinatore Tutore, Andrea Asperti
this document and provided me with valuable feedback and comments
Mathematical Knowledge Management in HELM (2001)
Andrea Asperti Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
The paper describes the general philosophy and the main architectural and technological solutions of the HELM Project for the management of large repositories of mathematical knowledge.
XML, Stylesheets and the re-mathematization of formal content (2000)
Andrea Asperti, Luca Padovani, Via Mura, Anteo Zamboni, Claudio Sacerdoti Coen, Irene Schena
An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, twodimensional system of symbolic notations. Tools for the...
XML, Stylesheets and the re-mathematization of formal content (2000)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, two-dimensional system of symbolic notations. Tools for the...
XML, Stylesheets and the re-mathematization of formal content (2000)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, two-dimensional system of symbolic notations. Tools for the...
Towards a Library of Formal Mathematics (2000)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a...
Towards a Library of Formal Mathematics (2000)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a...
XML, Stylesheets and the re-mathematization of formal content (2000)
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
An important part of the descriptive power of mathematics derives from its ability to represent formal concepts in a highly evolved, two-dimensional system of symbolic notations. Tools for the...
HELM and the Semantic Math-Web
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a...