default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCOMETA 2003: Udine, Italy
- Furio Honsell, Marina Lenisa, Marino Miculan:
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003. Electronic Notes in Theoretical Computer Science 104, Elsevier 2004 - Furio Honsell, Marina Lenisa, Marino Miculan
:
Preface. 1-3 - Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König:
Verifying a Behavioural Logic for Graph Transformation Systems. 5-24 - Franco Barbanera, Ugo de'Liguoro:
Type Assignement for Mobile Objects. 25-38 - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Flat Committed Join in Join. 39-59 - Daniela Cancila, Furio Honsell, Marina Lenisa:
Properties of Set Functors. 61-80 - Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters:
Timing in the Cospan-Span Model. 81-97 - Alberto Ciaffaglione, Ivan Scagnetto:
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. 99-112 - Pietro Di Gianantonio, Pier Luca Lanzi:
Lazy Algorithms for Exact Real Arithmetic. 113-128 - Fabio Gadducci, Marino Miculan, Ugo Montanari:
Some Characterization Results for Permutation Algebras. 129-147 - Giorgio Germano, Stefano Mazzanti:
Peano Structures and the Semantics of Iteration. 149-162 - Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. 163-180 - Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Compositional Minimization in Span(Graph): Some Examples. 181-197 - Ivan Lanese, Ugo Montanari:
A Graphical Fusion Calculus. 199-215 - Ines Margaria, Maddalena Zacchi:
A Filter Model for Safe Ambients. 217-234 - Luca Paolini, Simona Ronchi Della Rocca:
Lazy Logical Semantics. 235-251
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
