| Publication | Date of Publication | Type |
|---|
On the specification of elementary reactive behaviour
Lecture Notes in Computer Science | 2023-04-28 | Paper |
On the nature of events
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
A functorial semantics for observed concurrency
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
Listing closed sets of strongly accessible set systems with applications to data mining
Theoretical Computer Science | 2010-02-05 | Paper |
| scientific article; zbMATH DE number 1988991 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1390249 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1418810 (Why is no real title available?) | 2000-03-30 | Paper |
On the nature of events: another perspective in concurrency
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 176160 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 18641 (Why is no real title available?) | 1992-06-26 | Paper |
A note on inconsistencies caused by fixpoints in a cartesian closed category
Theoretical Computer Science | 1990-01-01 | Paper |
Parametrization for order-sorted algebraic specification
Journal of Computer and System Sciences | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4166873 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4078771 (Why is no real title available?) | 1988-01-01 | Paper |
On the implementation of abstract data types by programming language constructs
Journal of Computer and System Sciences | 1987-01-01 | Paper |
On specifications, theories, and models with higher types
Information and Control | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3997132 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4008627 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4031931 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4027466 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4002343 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3898212 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936491 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936499 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3919789 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3780536 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3786154 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3740760 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3757729 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3780535 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3716831 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3695436 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3742651 (Why is no real title available?) | 1978-01-01 | Paper |
