Bisimulations and abstraction homomorphisms (Q1089791): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(87)90025-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2076184535
@@ Property / OpenAlex ID: W2076184535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3321470
@@ Property / cites work: Q3321470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677164
@@ Property / cites work: Q3677164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657423
@@ Property / cites work: Q3657423 / 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 @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750113
@@ Property / cites work: Q3750113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank