A fixpoint approach to finite delay and fairness (Q1129259): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Final universes of processes
@@ Property / cites work: Final universes of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273664
@@ Property / cites work: Q4273664 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348429
@@ Property / cites work: Q3348429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870814
@@ Property / cites work: Q4870814 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for finite delay
@@ Property / cites work: Semantics for finite delay / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for modal \(\mu\)-logics
@@ Property / cites work: Duality for modal \(\mu\)-logics / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent testing of processes
@@ Property / cites work: Concurrent testing of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising finite delay operators
@@ Property / cites work: Axiomatising finite delay operators / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of fair asynchronous communicating processes
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004425
@@ Property / cites work: Q4004425 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonwellfounded sets and programming language semantics
+Normal rank
@@ Property / cites work @@
+A fair calculus of communicating systems
@@ Property / cites work: A fair calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Weak and strong fairness in CCS
@@ Property / cites work: Weak and strong fairness in CCS / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00076-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1975412146
@@ Property / OpenAlex ID: W1975412146 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1129259