A congruence relation for sPBC (Q2481583): Difference between revisions

@@ Property / author @@
-Hermenegilda Macia
@@ Property / author: Hermenegilda Macia / rank @@
-Normal rank
@@ Property / author @@
-Valentin Valero
@@ Property / author: Valentin Valero / rank @@
-Normal rank
@@ Property / author @@
-David de Frutos
@@ Property / author: David de Frutos / rank @@
-Normal rank
@@ Property / author @@
+Hermenegilda Macia
@@ Property / author: Hermenegilda Macia / rank @@
+Normal rank
@@ Property / author @@
+Valentin Valero
@@ Property / author: Valentin Valero / rank @@
+Normal rank
@@ Property / author @@
+David de Frutos
@@ Property / author: David de Frutos / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-007-0045-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2141221549
@@ Property / OpenAlex ID: W2141221549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Q2760251
@@ Property / cites work: Q2760251 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net algebra
@@ Property / cites work: Petri net algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703726
@@ Property / cites work: Q2703726 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766569
@@ Property / cites work: Q2766569 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2481583