The following pages link to Andrea Corradini (Q171483):
Displayed 50 items.
- (Q3839067) (← links)
- (Q3839071) (← links)
- (Q4037311) (← links)
- (Q4222787) (← links)
- (Q4222788) (← links)
- (Q4222948) (← links)
- (Q4256315) (← links)
- (Q4260701) (← links)
- (Q4282581) (← links)
- (Q4362962) (← links)
- (Q4502811) (← links)
- (Q4536619) (← links)
- (Q4553276) (← links)
- The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267) (← links)
- An event structure semantics for graph grammars with parallel productions (Q4645280) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- Compositional semantics for open Petri nets based on deterministic processes (Q4657750) (← links)
- (Q4699298) (← links)
- (Q4738044) (← links)
- (Q4738295) (← links)
- (Q4763987) (← links)
- (Q4790387) (← links)
- (Q4791846) (← links)
- (Q4791852) (← links)
- (Q4890710) (← links)
- A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GR (Q4921551) (← links)
- GETGRATS (Q4923529) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (Q4931306) (← links)
- (Q4934317) (← links)
- (Q4941927) (← links)
- (Q4941928) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q4964701) (← links)
- The Pullback-Pushout Approach to Algebraic Graph Transformation (Q4972006) (← links)
- (Q5021222) (← links)
- Term rewriting in CTΣ (Q5044755) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Abstract graph derivations in the double pushout approach (Q5096276) (← links)
- Note on standard representation of graphs and graph derivations (Q5096277) (← links)
- Jungle rewriting: An abstract description of a lazy narrowing machine (Q5096278) (← links)
- CPO models for infinite term rewriting (Q5096397) (← links)
- (Q5144682) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- (Q5284549) (← links)
- Graph Transformations (Q5292610) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311499) (← links)
- Towards a Notion of Transaction in Graph Rewriting (Q5404174) (← links)
- Global Computing (Q5464838) (← links)
- (Q5688924) (← links)