An Exercise on Transition Systems (Q2873687): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.03.087
+Normal rank
@@ Property / OpenAlex ID @@
+W2119300020
@@ Property / OpenAlex ID: W2119300020 / rank @@
+Normal rank
@@ Property / cites work @@
+Final universes of processes
@@ Property / cites work: Final universes of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738112
@@ Property / cites work: Q4738112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499314
@@ Property / cites work: Q4499314 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Calculi à la Bird-Meertens
@@ Property / cites work: Process Calculi à la Bird-Meertens / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409159
@@ Property / cites work: Q4409159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid automata with finite bisimulations
@@ Property / cites work: Hybrid automata with finite bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / 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 @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Weak Bisimulation For Coalgebras
@@ Property / cites work: Towards Weak Bisimulation For Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849887
@@ Property / cites work: Q2849887 / rank @@
+Normal rank