-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375): Difference between revisions

Latest revision as of 07:57, 12 July 2024

scientific article; zbMATH DE number 6606290

Language	Label	Description	Also known as
English	-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation	scientific article; zbMATH DE number 6606290

Statements

instance of

scholarly article

0 references

title

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (English)

0 references

0 references

0 references

0 references

0 references

0 references

Mathematical Structures in Computer Science

0 references

publication date

26 July 2016

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Fundamentals of algebraic graph transformation

0 references

Parallelism and concurrency of graph manipulations

0 references

Adhesive and quasiadhesive categories

0 references

Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems

0 references

Q4144755

0 references

Graph-based specification of access control policies

0 references

An axiomatic basis for computer programming

0 references

Hereditary Pushouts Reconsidered

0 references

On grammars with local and global context conditions

0 references

Q5678435

0 references

Correctness of high-level transformation systems relative to nested conditions

0 references

Amalgamation of graph transformations: a synchronization mechanism

0 references

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation

0 references

Adhesivity Is Not Enough: Local Church-Rosser Revisited

0 references

Q4951112

0 references

Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars

0 references

Q4152697

0 references

Weakest Preconditions for High-Level Programs

0 references

Parallelism and concurrency in high-level replacement systems

0 references

Identifiers

zbMATH Open document ID

1342.68176

0 references

DOI

10.1017/S0960129512000357

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5740375

@@ Property / author @@
-Annegret Habel
@@ Property / author: Annegret Habel / rank @@
-Normal rank
@@ Property / author @@
+Annegret Habel
@@ Property / author: Annegret Habel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency of graph manipulations
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-based specification of access control policies
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditary Pushouts Reconsidered
@@ Property / cites work: Hereditary Pushouts Reconsidered / rank @@
+Normal rank
@@ Property / cites work @@
+On grammars with local and global context conditions
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Amalgamation of graph transformations: a synchronization mechanism
+Normal rank
@@ Property / cites work @@
+Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
+Normal rank
@@ Property / cites work @@
+Adhesivity Is Not Enough: Local Church-Rosser Revisited
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
+Normal rank
@@ Property / cites work @@
+Q4152697
@@ Property / cites work: Q4152697 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Preconditions for High-Level Programs
@@ Property / cites work: Weakest Preconditions for High-Level Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740375