| Publication | Date of Publication | Type |
|---|
| Topological models for higher order control flow | 2023-04-28 | Paper |
| Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice | 2013-06-06 | Paper |
| Linear time and branching time semantics for recursion with merge | 2002-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373409 | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736361 | 2001-08-29 | Paper |
| A transition system semantics for the control-driven coordination language MANIFOLD | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948000 | 2000-04-26 | Paper |
| Denotational models for programming languages: Applications of Banach's fixed point theorem | 1999-07-20 | Paper |
| Fully abstract denotational models for nonuniform concurrent languages | 1995-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296298 | 1994-06-19 | Paper |
| Rendez-vous with metric semantics | 1994-02-01 | Paper |
| Four domains for concurrency | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975030 | 1992-06-26 | Paper |
| Comparative semantics for flow of control in logic programming without logic | 1991-01-01 | Paper |
| Comparative metric semantics for concurrent PROLOG | 1990-01-01 | Paper |
| Editorial | 1989-01-01 | Paper |
| Metric semantics for concurrency | 1988-01-01 | Paper |
| Transition systems, metric spaces and ready sets in the semantics of uniform concurrency | 1988-01-01 | Paper |
| Infinite streams and finite observations in the semantics of uniform concurrency | 1987-01-01 | Paper |
| Order and metric in the stream semantics of elemental concurrency | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745260 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681902 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681901 | 1985-01-01 | Paper |
| Corrigendum: On infinite computations in denotational semantics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347277 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746776 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3042376 | 1983-01-01 | Paper |
| On infinite computations in denotational semantics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664418 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666247 | 1983-01-01 | Paper |
| Processes and the denotational semantics of concurrency | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939205 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3935454 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914409 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939204 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853102 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907047 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174207 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124296 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144761 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138078 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125720 | 1976-01-01 | Paper |
| Least fixed points revisited | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105234 | 1976-01-01 | Paper |
| On the completeness of the inductive assertion method | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4076735 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094355 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5678412 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5649409 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5674964 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181349 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632151 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632152 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582341 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621092 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5603622 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554382 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583070 | 1967-01-01 | Paper |
