2005
Finite equational bases in process algebra: Results and open questions
Publication
Publication
| Additional Metadata | |
|---|---|
| Springer | |
| A. Middeldorp , not CWI et al | |
| Lecture Notes in Computer Science | |
| Organisation | Software Analysis and Transformation |
|
Aceto, L., Fokkink, W., Ingólfsdóttir, A., & Luttik, B. (2005). Finite equational bases in process algebra: Results and open questions. In A. Middeldorp & . not . CWI et al (Eds.), Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday (pp. 338–367). Springer. |
|