Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+The gamma model and its discipline of programming
@@ Property / cites work: The gamma model and its discipline of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222851
@@ Property / cites work: Q4222851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222855
@@ Property / cites work: Q4222855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for infinite term rewriting
@@ Property / cites work: CPO models for infinite term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Relating two categorical models of term rewriting
@@ Property / cites work: Relating two categorical models of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282581
@@ Property / cites work: Q4282581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210197
@@ Property / cites work: Q3210197 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222864
@@ Property / cites work: Q4222864 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222866
@@ Property / cites work: Q4222866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4208532
@@ Property / cites work: Q4208532 / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-rewriting, a term rewriting technique for monotonic order relations
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698614
@@ Property / cites work: Q4698614 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222863
@@ Property / cites work: Q4222863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222867
@@ Property / cites work: Q4222867 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretic graph rewriting
@@ Property / cites work: Set-theoretic graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Q4222862
@@ Property / cites work: Q4222862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222852
@@ Property / cites work: Q4222852 / rank @@
+Normal rank