LOTOS extended with probabilistic behaviours (Q1261318): Difference between revisions

@@ Property / author @@
+Ángel Nepomuceno-Fernández
@@ Property / author: Ángel Nepomuceno-Fernández / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3341871
@@ Property / cites work: Q3341871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+CIRCAL and the representation of communication, concurrency, and time
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740206
@@ Property / cites work: Q3740206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585825
@@ Property / cites work: Q5585825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694687
@@ Property / cites work: Q3694687 / rank @@
+Normal rank
@@ Property / cites work @@
+TIC: a tImed calculus
@@ Property / cites work: TIC: a tImed calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank