Q5019694 (Q5019694): Difference between revisions

@@ Property / author @@
-Emilio Tuosto
@@ Property / author: Emilio Tuosto / rank @@
-Normal rank
@@ Property / author @@
+Emilio Tuosto
@@ Property / author: Emilio Tuosto / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Verification of programs with half-duplex communication
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+Q5216330
@@ Property / cites work: Q5216330 / rank @@
+Normal rank
@@ Property / cites work @@
+Realisability of pomsets
@@ Property / cites work: Realisability of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+From Communicating Machines to Graphical Choreographies
+Normal rank
@@ Property / cites work @@
+Multiparty Testing Preorders
@@ Property / cites work: Multiparty Testing Preorders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3057604
@@ Property / cites work: Q3057604 / rank @@
+Normal rank