Abstract Semantics by Observable Contexts (English)
- New search for: Bonchi, Filippo
- New search for: Bonchi, Filippo
In:
Graph Transformations
10
;
478-480
;
2008
- Article/Chapter (Book) / Electronic Resource
-
Title:Abstract Semantics by Observable Contexts
-
Contributors:Bonchi, Filippo ( author )
-
Published in:Graph Transformations , 10 ; 478-480Lecture Notes in Computer Science ; 5214, 10 ; 478-480
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2008-01-01
-
Size:3 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Towards an Algebraic Theory of Bidirectional TransformationsStevens, Perdita et al. | 2008
- 2
-
Discovery, Verification and Conformance of Workflows with Cancellationvan der Aalst, W. M. P. et al. | 2008
- 3
-
The AUTOSAR Way of Model-Based Engineering of Automotive SystemsDörr, Heiko et al. | 2008
- 4
-
An Algorithm for Hypergraph Completion According to Hyperedge Replacement GrammarsMazanek, Steffen / Maier, Sonja / Minas, Mark et al. | 2008
- 5
-
Labelled (Hyper)Graphs, Negotiations and the Naming ProblemChalopin, Jérémie / Mazurkiewicz, Antoni / Métivier, Yves et al. | 2008
- 6
-
Abstracting Complex Data Structures by Hyperedge ReplacementRieger, Stefan / Noll, Thomas et al. | 2008
- 7
-
Inductively Sequential Term-Graph Rewrite SystemsEchahed, Rachid et al. | 2008
- 8
-
Mobile Agents Implementing Local Computations in GraphsDerbel, Bilel / Mosbah, Mohamed / Gruner, Stefan et al. | 2008
- 9
-
A Decentralized Implementation of Mobile AmbientsGadducci, Fabio / Monreale, Giacoma Valentina et al. | 2008
- 10
-
Network Applications of Graph BisimulationCenciarelli, Pietro / Gorla, Daniele / Tuosto, Emilio et al. | 2008
- 147
-
Graph Transformation for Topology ModellingPoudret, Mathieu / Arnould, Agnès / Comet, Jean-Paul / Gall, Pascale et al. | 2008
- 12
-
Embedding and Confluence of Graph Transformations with Negative Application ConditionsLambers, Leen / Ehrig, Hartmut / Prange, Ulrike / Orejas, Fernando et al. | 2008
- 13
-
Formal Analysis of Model Transformations Based on Triple Graph Rules with KernelsEhrig, Hartmut / Prange, Ulrike et al. | 2008
- 194
-
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule TransformationEhrig, Hartmut / Ermel, Claudia et al. | 2008
- 15
-
High-Level Programs and Program ConditionsAzab, Karl / Habel, Annegret et al. | 2008
- 226
-
Parallel and Sequential Independence for Borrowed ContextsBonchi, Filippo / Gadducci, Fabio / Heindel, Tobias et al. | 2008
- 17
-
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed ContextsRangel, Guilherme / Lambers, Leen / König, Barbara / Ehrig, Hartmut / Baldan, Paolo et al. | 2008
- 18
-
Open Petri Nets: Non-deterministic Processes and CompositionalityBaldan, Paolo / Corradini, Andrea / Ehrig, Hartmut / König, Barbara et al. | 2008
- 19
-
Attributed Graph ConstraintsOrejas, Fernando et al. | 2008
- 20
-
Resolution-Like Theorem Proving for High-Level ConditionsPennemann, Karl-Heinz et al. | 2008
- 21
-
Towards the Verification of Attributed Graph Transformation SystemsKönig, Barbara / Kozioura, Vitali et al. | 2008
- 321
-
A Modal-Logic Based Graph AbstractionBauer, Jörg / Boneva, Iovka / Kurbán, Marcos E. / Rensink, Arend et al. | 2008
- 336
-
On the Recognizability of Arrow and Graph LanguagesBruggink, H. J. Sander / König, Barbara et al. | 2008
- 24
-
Graph Multiset Transformation as a Framework for Massively Parallel ComputationKreowski, Hans-Jörg / Kuske, Sabine et al. | 2008
- 25
-
Pullback Grammars Are Context-FreeBauderon, Michel / Chen, Rui / Ly, Olivier et al. | 2008
- 379
-
On Switching to H-Free GraphsJelínková, Eva / Kratochvíl, Jan et al. | 2008
- 27
-
A Benchmark Evaluation of Incremental Pattern Matching in Graph TransformationBergmann, Gábor / Horváth, Ákos / Ráth, István / Varró, Dániel et al. | 2008
- 28
-
15 Years of Triple Graph GrammarsSchürr, Andy / Klar, Felix et al. | 2008
- 29
-
Pattern-Based Model-to-Model Transformationde Lara, Juan / Guerra, Esther et al. | 2008
- 30
-
Adaptive Star Grammars for Graph ModelsDrewes, Frank / Hoffmann, Berthold / Minas, Mark et al. | 2008
- 31
-
Tutorial Introduction to Graph TransformationHeckel, Reiko et al. | 2008
- 32
-
Workshop on Graph Computation ModelsMosbah, Mohamed / Habel, Annegret et al. | 2008
- 463
-
Graph-Based Tools: The ContestRensink, Arend / Gorp, Pieter et al. | 2008
- 34
-
Workshop on Petri Nets and Graph TransformationsBaldan, Paolo / König, Barbara et al. | 2008
- 470
-
Summary of the Workshop on Natural Computing and Graph TransformationsPetre, Ion / Rozenberg, Grzegorz et al. | 2008
- 36
-
ICGT 2008 Doctoral SymposiumCorradini, Andrea / Tuosto, Emilio et al. | 2008
- 475
-
Verification of Architectural Refactorings: Rule Extraction and Tool SupportBisztray, Dénes et al. | 2008
- 478
-
Abstract Semantics by Observable ContextsBonchi, Filippo et al. | 2008
- 481
-
Triple Graph Grammars and OCL for Validating System BehaviorDang, Duc-Hanh et al. | 2008
- 40
-
From Separation Logic to Hyperedge Replacement and BackDodds, Mike et al. | 2008
- 41
-
Security, Cryptography and Directed BigraphsGrohmann, Davide et al. | 2008
- 42
-
Modelling Clustering of Sensor Networks with Synchronised Hyperedge ReplacementHammoudeh, Mohammad et al. | 2008
- 43
-
Grammar Morphisms and Weakly Adhesive CategoriesHeindel, Tobias et al. | 2008
- 44
-
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application ConditionsHermann, Frank et al. | 2008
- 499
-
Towards a Two Layered Verification Approach for Compiled Graph TransformationHorváth, Ákos et al. | 2008
- 502
-
Model-Based Analysis of Network Reconfigurations Using Graph Transformation SystemsKhan, Ajab et al. | 2008
- 47
-
Service Extraction from Legacy SystemsMatos, Carlos et al. | 2008
- 48
-
Development of Correct Graph Transformation SystemsPennemann, Karl-Heinz et al. | 2008
- 49
-
Graph Transformation for the Semantic Web: Queries and Inference RulesYu, Hong Qing / Hong, Yi et al. | 2008
- 514
-
Using a Triple Graph Grammar for State Machine ImplementationsStriewe, Michael et al. | 2008
- 517
-
Model-Driven Development of Model TransformationsGorp, Pieter et al. | 2008
- 52
-
Transformation-Based Operationalization of Graph LanguagesWeinell, Erhard et al. | 2008