Rule formats for distributivity (Q1758150): Difference between revisions

@@ Property / cites work @@
+Rule Formats for Determinism and Idempotence
@@ Property / cites work: Rule Formats for Determinism and Idempotence / rank @@
+Normal rank
@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150127
@@ Property / cites work: Q5150127 / rank @@
+Normal rank
@@ Property / cites work @@
+On Rule Formats for Zero and Unit Elements
@@ Property / cites work: On Rule Formats for Zero and Unit Elements / rank @@
+Normal rank
@@ Property / cites work @@
+Rule Formats for Distributivity
@@ Property / cites work: Rule Formats for Distributivity / rank @@
+Normal rank
@@ Property / cites work @@
+CCS with Hennessy's merge has no finite-equational axiomatization
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+A finite equational base for CCS with left merge and communication merge
+Normal rank
@@ Property / cites work @@
+Bisimilarity is not finitely based over BPA with interrupt
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rule Format for Unit Elements
@@ Property / cites work: A Rule Format for Unit Elements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3951525
@@ Property / cites work: Q3951525 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+A Rule Format for Associativity
@@ Property / cites work: A Rule Format for Associativity / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038732
@@ Property / cites work: Q4038732 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic commutativity format for SOS
@@ Property / cites work: A syntactic commutativity format for SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and expressiveness of ordered SOS
@@ Property / cites work: Semantics and expressiveness of ordered SOS / rank @@
+Normal rank
@@ Property / cites work @@
+SOS formats and meta-theory: 20 years after
@@ Property / cites work: SOS formats and meta-theory: 20 years after / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank