Q2844828 (Q2844828): Difference between revisions

@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Adding action refinement to a finite process algebra
+Normal rank
@@ Property / cites work @@
+Timing and causality in process algebra
@@ Property / cites work: Timing and causality in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The connection between an event structure semantics and an operational semantics for TCSP
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / 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 @@
+Q4501684
@@ Property / cites work: Q4501684 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions in event structures and causal trees
+Normal rank
@@ Property / cites work @@
+Bundle event structures: a revised cpo approach.
@@ Property / cites work: Bundle event structures: a revised cpo approach. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Split and ST bisimulation semantics
@@ Property / cites work: Split and ST bisimulation semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760253
@@ Property / cites work: Q2760253 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with durational actions
@@ Property / cites work: A theory of processes with durational actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of the combination of atomized statements and parallel choice
+Normal rank
@@ Property / cites work @@
+Q4028627
@@ Property / cites work: Q4028627 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems from event structures revisited
+Normal rank
@@ Property / cites work @@
+Towards action refinement for true concurrent real time
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4271922
@@ Property / cites work: Q4271922 / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics based on interval semiwords is a congruence for refinement
+Normal rank
@@ Property / cites work @@
+Bisimulation and action refinement
@@ Property / cites work: Bisimulation and action refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Timed testing of concurrent systems
@@ Property / cites work: Timed testing of concurrent systems / rank @@
+Normal rank