| Publication | Date of Publication | Type |
|---|
Topological models for higher order control flow
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Linear time and branching time semantics for recursion with merge
Theoretical Computer Science | 2002-05-13 | Paper |
| scientific article; zbMATH DE number 1107487 (Why is no real title available?) | 2001-10-30 | Paper |
| scientific article; zbMATH DE number 1638663 (Why is no real title available?) | 2001-08-29 | Paper |
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1435946 (Why is no real title available?) | 2000-04-26 | Paper |
Denotational models for programming languages: Applications of Banach's fixed point theorem
Topology and its Applications | 1999-07-20 | Paper |
Fully abstract denotational models for nonuniform concurrent languages
Information and Computation | 1995-01-09 | Paper |
| scientific article; zbMATH DE number 590996 (Why is no real title available?) | 1994-06-19 | Paper |
Rendez-vous with metric semantics
New Generation Computing | 1994-02-01 | Paper |
Four domains for concurrency
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 17699 (Why is no real title available?) | 1992-06-26 | Paper |
Comparative semantics for flow of control in logic programming without logic
Information and Computation | 1991-01-01 | Paper |
Comparative metric semantics for concurrent PROLOG
Theoretical Computer Science | 1990-01-01 | Paper |
Editorial
Parallel Computing | 1989-01-01 | Paper |
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
Journal of Computer and System Sciences | 1988-01-01 | Paper |
Metric semantics for concurrency
BIT | 1988-01-01 | Paper |
Order and metric in the stream semantics of elemental concurrency
Acta Informatica | 1987-01-01 | Paper |
Infinite streams and finite observations in the semantics of uniform concurrency
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3980464 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3903936 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903937 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890714 (Why is no real title available?) | 1984-01-01 | Paper |
Corrigendum: On infinite computations in denotational semantics
Theoretical Computer Science | 1984-01-01 | Paper |
On infinite computations in denotational semantics
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3837348 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3817028 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819069 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3802792 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3750266 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755838 (Why is no real title available?) | 1982-01-01 | Paper |
Processes and the denotational semantics of concurrency
Information and Control | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3725676 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3755837 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3653502 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3716759 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3609100 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3550151 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3566123 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3574942 (Why is no real title available?) | 1977-01-01 | Paper |
Least fixed points revisited
Theoretical Computer Science | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3527792 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3551848 (Why is no real title available?) | 1976-01-01 | Paper |
On the completeness of the inductive assertion method
Journal of Computer and System Sciences | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3493848 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3514947 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3413799 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3378527 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3410596 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3430635 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358030 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358031 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3300605 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3345157 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3268176 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3301430 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3323544 (Why is no real title available?) | 1967-01-01 | Paper |
