Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2018.11.003
@@ Property / DOI: 10.1016/j.entcs.2018.11.003 / rank @@
-Normal rank
@@ Property / author @@
-Paul Blain Levy
@@ Property / author: Paul Blain Levy / rank @@
-Normal rank
@@ Property / author @@
+Paul Blain Levy
@@ Property / author: Paul Blain Levy / 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.1016/j.entcs.2018.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2904770693
@@ Property / OpenAlex ID: W2904770693 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317497
@@ Property / Wikidata QID: Q113317497 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Well-Pointed Coalgebras
@@ Property / cites work: Well-Pointed Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the Boundaries of Monad Tensorability on Set
+Normal rank
@@ Property / cites work @@
+Q5357721
@@ Property / cites work: Q5357721 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and Composition in a Stochastic World
@@ Property / cites work: Concurrency and Composition in a Stochastic World / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra valued functors in general and tensor products in particular
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring probabilistic bisimulations. I
@@ Property / cites work: Exploring probabilistic bisimulations. I / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Bisimulation: Naturally on Distributions
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Steps and traces
@@ Property / cites work: Steps and traces / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics via Forgetful Logics
@@ Property / cites work: Coalgebraic Trace Semantics via Forgetful Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Realization of Coinductive Types
@@ Property / cites work: Realization of Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trace equivalence
@@ Property / cites work: Infinite trace equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems over games
@@ Property / cites work: Transition systems over games / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded Non-determinism in CSP
@@ Property / cites work: Unbounded Non-determinism in CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Environmental bisimulations for probabilistic higher-order languages
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2018.11.003
@@ Property / DOI: 10.1016/J.ENTCS.2018.11.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2134814