Deciding true concurrency equivalences on finite safe nets (preliminary report) (Q4630288): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-56939-1_99
+Normal rank
@@ Property / OpenAlex ID @@
+W1582378946
@@ Property / OpenAlex ID: W1582378946 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / 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 @@
+Q3680258
@@ Property / cites work: Q3680258 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximality preserving bisimulation
@@ Property / cites work: Maximality preserving bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking equivalences between concurrent systems of finite agents (Extended abstract)
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Step failures semantics and a complete proof system
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035680
@@ Property / cites work: Q4035680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics based on interval semiwords is a congruence for refinement
+Normal rank