Symbolic transition graph with assignment (Q6104365): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61604-7_47
+Normal rank
@@ Property / OpenAlex ID @@
+W1522645051
@@ Property / OpenAlex ID: W1522645051 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for communicating processes with value-passing
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6104365