Preferential choice and coordination conditions (Q864506): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2006.08.004
@@ Property / DOI: 10.1016/j.jlap.2006.08.004 / rank @@
-Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / 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.jlap.2006.08.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2129235856
@@ Property / OpenAlex ID: W2129235856 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting bisimulations and retrospective conditions
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760249
@@ Property / cites work: Q2760249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / 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 @@
+CCS with priority choice
@@ Property / cites work: CCS with priority choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791842
@@ Property / cites work: Q4791842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994998
@@ Property / cites work: Q3994998 / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Algebraic methods II: theory, tools and applications
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702592
@@ Property / cites work: Q4702592 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721231
@@ Property / cites work: Q5721231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and orthogonal bisimulation equivalence
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2006.08.004
@@ Property / DOI: 10.1016/J.JLAP.2006.08.004 / rank @@
+Normal rank