25 citations · 290 across the 54 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 4 cited
Process algebra with conditionals in the presence of epsilon
J. A. Bergstra, C. A. Middelburg
In a previous paper, we presented several extensions of ACP with conditional expressions, including one with a retrospection operator on conditions to allow for looking back on con…
cs.LO2012
Turing Impossibility Properties for Stack Machine Programming
J. A. Bergstra, C. A. Middelburg
The strong, intermediate, and weak Turing impossibility properties are introduced. Some facts concerning Turing impossibility for stack machine programming are trivially adapted fr…