Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275): Difference between revisions

@@ 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.1007/3-540-57787-4_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1678192330
@@ Property / OpenAlex ID: W1678192330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024006
@@ Property / cites work: Q4024006 / rank @@
+Normal rank
@@ Property / cites work @@
+The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Amalgamation of graph transformations: a synchronization mechanism
+Normal rank
@@ Property / cites work @@
+The denotational semantics of dynamic networks of processes
+Normal rank
@@ Property / cites work @@
+Q3785984
@@ Property / cites work: Q3785984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783611
@@ Property / cites work: Q3783611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of computations in actor grammars
@@ Property / cites work: Equivalence of computations in actor grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting for a partial ordering semantics of concurrent constraints programming
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038734
@@ Property / cites work: Q4038734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040030
@@ Property / cites work: Q4040030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694747
@@ Property / cites work: Q4694747 / rank @@
+Normal rank
@@ Property / cites work @@
+On categorical graph grammars integrating structural transformations and operations on labels
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ Property / cites work @@
+π-Calculus semantics of object-oriented programming languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096275