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. |