A coinductive calculus for asynchronous side-effecting processes (Q393094): Difference between revisions

@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Traced Premonoidal Categories
@@ Property / cites work: Traced Premonoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+General Recursion via Coinductive Types
@@ Property / cites work: General Recursion via Coinductive Types / rank @@
+Normal rank
@@ Property / cites work @@
+A poor man's concurrency monad
@@ Property / cites work: A poor man's concurrency monad / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to distributive categories
@@ Property / cites work: Introduction to distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive monadic bindings
@@ Property / cites work: Recursive monadic bindings / rank @@
+Normal rank
@@ Property / cites work @@
+On the relations between monadic semantics
@@ Property / cites work: On the relations between monadic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+A Coinductive Calculus for Asynchronous Side-Effecting Processes
+Normal rank
@@ Property / cites work @@
+Kleene Monads: Handling Iteration in a Framework of Generic Effects
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+The Essence of Multitasking
@@ Property / cites work: The Essence of Multitasking / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining algebraic effects with continuations
@@ Property / cites work: Combining algebraic effects with continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+From Coalgebraic to Monoidal Traces
@@ Property / cites work: From Coalgebraic to Monoidal Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras and monads in the semantics of Java
@@ Property / cites work: Coalgebras and monads in the semantics of Java / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Monad Transformers
@@ Property / cites work: Modular Monad Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769437
@@ Property / cites work: Q2769437 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Iterativity for Algebras with Effects
@@ Property / cites work: Complete Iterativity for Algebras with Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Q3662610
@@ Property / cites work: Q3662610 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+A study of evaluation order semantics in expressions with side effects
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Monad-independent Dynamic Logic in HasCasl
@@ Property / cites work: Monad-independent Dynamic Logic in HasCasl / rank @@
+Normal rank
@@ Property / cites work @@
+HasCasl: integrated higher-order specification and program development
+Normal rank
@@ Property / cites work @@
+Free-algebra models for the \(\pi \)-calculus
@@ Property / cites work: Free-algebra models for the \(\pi \)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844053
@@ Property / cites work: Q2844053 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing Substitution
@@ Property / cites work: Generalizing Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+The Rely-Guarantee method for verifying shared variable concurrent programs
+Normal rank