Non-deterministic structures of computation (Q5740658): Difference between revisions

@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising divergence
@@ Property / cites work: Axiomatising divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and divergence
@@ Property / cites work: Bisimulation and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
+Normal rank
@@ Property / cites work @@
+The theory of algorithms
@@ Property / cites work: The theory of algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and λ-definability
@@ Property / cites work: Computability and λ-definability / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of communicating processes with value passing
+Normal rank
@@ Property / cites work @@
+On Meije and SCCS: Infinite sum operators vs. non-guarded definitions
+Normal rank
@@ Property / cites work @@
+Nonaxiomatisability of equivalences over finite state processes
+Normal rank
@@ Property / cites work @@
+On the expressiveness of interaction
@@ Property / cites work: On the expressiveness of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+The Value-Passing Calculus
@@ Property / cites work: The Value-Passing Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Time bounded random access machines
@@ Property / cites work: Time bounded random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+The λ-calculus in the π-calculus
@@ Property / cites work: The λ-calculus in the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank