Roberto Bruni, José Meseguer, Ugo Montanari  Home/Search
Context Related
| di.unipi.it/~ugo/BMMriv.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.unipi.it/~ugo/ABSTRACT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we discuss the lifting of these auxiliary structures to double categories. We notice that the internal construction of double categories produces a pathological asymmetric notion of natural transformation, which is fully exploited in one dimension only (e.g., for configurations or for effects, but not for both). Following Ehresmann (1963), we overcome this biased definition, introducing the notion of generalized natural transformation between four (Update)
Context of citations to this paper: More
.... term tile logic [10] an extension of the formalism with a rich structure for observations, based on the notion of hyper transformation [12]. We refer instead to [14] for the presentation of an higher order extension of tile logic. The connection between the structure of...
.... term tile logic [10] an extension of the formalism with a rich structure for observations, based on the notion of hyper transformation [12]. We refer instead to [13] for the presentation of a higher order extension of tile logic. The connection between the structure of...
Cited by: More
Appligraph: Applications of Graph Transformation - Second.. - Kreowski, (eds.) (1999) (Correct)
Models & Languages for Open Distributed Systems - Montanari (1999) (Correct)
Comparing Logics for Rewriting: Rewriting logic, action.. - Gadducci, Montanari (2002) (Correct)
Similar documents (at the sentence level):
35.8%: Symmetric Monoidal and Cartesian Double Categories as a .. - Bruni, Meseguer.. (2001) (Correct)
26.6%: Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998) (Correct)
17.3%: Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni (1999) (Correct)
Active bibliography (related documents): More All
0.6: Zero-Safe Nets: Comparing the Collective and Individual.. - Bruni, Montanari (Correct)
0.3: Algebra of Networks - Modeling simple networks, as well as.. - Stefanescu (Correct)
0.2: Research Directions in Rewriting Logic - Meseguer (1998) (Correct)
Similar documents based on text: More All
0.3: On the Semantics of Place/Transition Petri Nets - Meseguer, Montanari, Sassone (1996) (Correct)
0.3: Functorial Models for Petri Nets - Bruni, Meseguer, Montanari, al. (2001) (Correct)
0.2: Mapping Tile Logic into Rewriting Logic - Meseguer, al. (1998) (Correct)
Related documents from co-citation: More All
6: Tile Formats for Located and Mobile Systems (context) - Ferrari, Montanari
5: Cartesian Closed Double Categories (context) - Bruni, Montanari
5: Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni
BibTeX entry: (Update)
R. Bruni, J. Meseguer, and U. Montanari, Symmetric and Cartesian Double Categories as a Semantic Framework for Tile Logic, MSCS, to appear. http://citeseer.ist.psu.edu/bruni95symmetric.html More
@misc{ bruni-symmetric,
author = "R. Bruni and J. Meseguer and U. Montanari",
title = "Symmetric and Cartesian Double Categories as a Semantic Framework for Tile
Logic",
text = "R. Bruni, J. Meseguer, and U. Montanari, Symmetric and Cartesian Double
Categories as a Semantic Framework for Tile Logic, MSCS, to appear.",
url = "citeseer.ist.psu.edu/bruni95symmetric.html" }
Citations (may not include all citations):299 Conditional Rewriting Logic as a Unified Model of Concurrenc.. (context) - Meseguer - 1990
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
66 Compositionality Through an Operational Semantics of Context.. (context) - Larsen, Xinxin - 1990
46 Mapping Tile Logic into Rewriting Logic - Meseguer, Montanari - 1998
46 Rewriting as a Unified Model of Concurrency (context) - Meseguer - 1990
33 categorical Presentation of Term Graph Rewriting - Corradini, Gadducci - 1997
27 the Algebraic Approach to Concurrent Term Rewriting - Gadducci - 1996
22 An Introduction to Maude (context) - Clavel, Duran et al. - 1998
18 Tiles for Concurrent and Located Calculi (context) - Ferrari, Montanari - 1997
13 Observing Localities (context) - Boudol, Castellani et al. - 1993
7 Process and Term Tile Logic - Bruni, Meseguer et al. - 1998
6 Review of the Elements of 2-categories (context) - Kelly, Street - 1974
3 and Montanari (context) - Gadducci - 1997
2 Graph Rewriting (context) - Computation, Montanari et al. - 1997
2 Limits in double categories (context) - Grandis, Par'e - 1997
2 Zero-Safe Nets (context) - Bruni, Montanari - 1997
1 Cat'egories Structur'ees: I and II (context) - Moggi, Rosolini et al. - 1963
1 Categories for the Working Mathematician (context) - Categories - 1971
1 A Tile-Based Coordination View of Asynchronous PiCalculus (context) - Norm, -- et al. - 1997
1 PhD Thesis (context) - Bruni - 1998
1 Mathematical Foundations of Computer Science (context) - Pr'ivara, Ruzicka - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.unipi.it/~ugo/ABSTRACT.html): More
Graph Rewriting, Constraint Solving and Tiles for.. - Montanari, Rossi (Correct)
Internal Strategies in a Rewriting Implementation of Tile.. - Bruni, Meseguer, Montanari (1998) (Correct)
Mapping Tile Logic into Rewriting Logic - Meseguer, al. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC