On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders (1998)

Cached

Download Links

by Jan J. M. M. Rutten , Daniele Turi
Venue:PROCEEDINGS OF THE REX WORKSHOP ON SEMANTICS: FOUNDATIONS AND APPLICATIONS, VOLUME 666 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:47 - 10 self

Documents Related by Co-Citation

162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
656 Concurrency and automata on infinite sequences – D Park - 1981
3217 Communication and Concurrency – R MILNER - 1989
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
1332 A Calculus of Communicating Systems – R Milner - 1982
1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
129 Terminal coalgebras in well-founded set theory – M Barr - 1993
457 Domain Theory – Samson Abramsky, Achim Jung - 1994
924 Categories for the working mathematician – S Mac Lane - 1971