1993
On the foundations of final semantics: nonstandard sets, metric spaces, partial orders
Publication
Publication
Presented at the
Research and Education in Concurrent Systems International Workshop, Beekbergen
Additional Metadata | |
---|---|
, , , , | |
Springer | |
Lecture Notes in Computer Science | |
Research and Education in Concurrent Systems International Workshop | |
Organisation | Computer Security |
Rutten, J., & Turi, D. (1993). On the foundations of final semantics: nonstandard sets, metric spaces, partial orders. In Semantics: Foundations and Applications (pp. 477–530). Springer. |