1989
Equivalence notions for concurrent systems and refinement of actions
Publication
Publication
Presented at the
International Symposium on Mathematical Foundations of Computer Science, Porabka-Kozubnik, Poland
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Symposium on Mathematical Foundations of Computer Science | |
|
van Glabbeek, R., & Goltz, U. (1989). Equivalence notions for concurrent systems and refinement of actions. In Mathematical Foundations of Computer Science 1989 (MFCS 14) (pp. 237–248). Springer. |
|