Quantales, observational logic and process semantics (Q4279244): Difference between revisions

@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest prespecification
@@ Property / cites work: The weakest prespecification / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated Lattices
@@ Property / cites work: Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975027
@@ Property / cites work: Q3975027 / rank @@
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Observation equivalence as a testing equivalence
@@ Property / cites work: Observation equivalence as a testing equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Constructing locales from quantales
@@ Property / cites work: Constructing locales from quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Rings with several objects
@@ Property / cites work: Rings with several objects / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank