On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
Authors:
- Jan J. M. M. RuttenJRJan J. M. M. Rutten
- Daniele TuriDTDaniele Turi
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 477-530
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- I-categories and duality1992
- Computational comonads and intensional semantics1992
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- A domain equation for bisimulationInformation and Computation, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Metric semantics for concurrencyBIT Numerical Mathematics, 1988
- Deadlock and fairness in morphisms of transition systemsTheoretical Computer Science, 1988
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Least fixed point of a functorJournal of Computer and System Sciences, 1979