Correct transformation: from object-based graph grammars to PROMELA (Q436353): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059127
@@ Property / zbMATH DE Number: 6059127 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graph grammars
@@ Property / zbMATH Keywords: graph grammars / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model transformation
@@ Property / zbMATH Keywords: model transformation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+PROMELA
@@ Property / zbMATH Keywords: PROMELA / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+correctness
@@ Property / zbMATH Keywords: correctness / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASM Workbench
@@ Property / describes a project that uses: ASM Workbench / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROMELA
@@ Property / describes a project that uses: PROMELA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GROOVE
@@ Property / describes a project that uses: GROOVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+vUML
@@ Property / describes a project that uses: vUML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPI
@@ Property / describes a project that uses: MPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bandera
@@ Property / describes a project that uses: Bandera / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2011.03.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2061230361
@@ Property / OpenAlex ID: W2061230361 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4762646
@@ Property / cites work: Q4762646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847855
@@ Property / cites work: Q2847855 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Object-Based Graph Grammars
@@ Property / cites work: Stochastic Object-Based Graph Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars
+Normal rank
@@ Property / cites work @@
+Q4520798
@@ Property / cites work: Q4520798 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+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 @@
+Q4134899
@@ Property / cites work: Q4134899 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+Formal Verification of Graph Grammars using Mathematical Induction
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Translation from Adapted UML to Promela for CORBA-Based Applications
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737559
@@ Property / cites work: Q4737559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:436353