- Record: found
- Abstract: not found
- Article: not found
Conditional rewriting logic as a unified model of concurrency
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references24
- Record: found
- Abstract: not found
- Article: not found
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems
Gérard Huet (1980)
- Record: found
- Abstract: not found
- Article: not found
Initial Algebra Semantics and Continuous Algebras
J B WRIGHT, E. G. Wagner, J. Thatcher … (1977)
- Record: found
- Abstract: not found
- Article: not found
General recursive functions of natural numbers
S. Kleene (1936)