| |
| 2000 | ||
|---|---|---|
| 4 | EE | Paul Dechering, Izak van Langevelde: On the Verification of Coordination. COORDINATION 2000: 335-340 |
| 1999 | ||
| 3 | Paul Dechering, Edwin D. de Jong: Transparent Process Replication in a Shared Data Space Architecture for Distributed Systems. ECOOP Workshops 1999: 259-260 | |
| 2 | EE | Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding: Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. HICSS 1999 |
| 1997 | ||
| 1 | EE | Paul Dechering, Leo C. Breebaart, Frits Kuijlman, Kees van Reeuwijk, Henk J. Sips: Semantics and Implementation of a Generalized forall Statement for Parallel Languages. IPPS 1997: 542-548 |
| 1 | Leo C. Breebaart | [1] |
| 2 | Rix Groenboom | [2] |
| 3 | Edwin D. de Jong | [2] [3] |
| 4 | Frits Kuijlman | [1] |
| 5 | Izak van Langevelde | [4] |
| 6 | Kees van Reeuwijk | [1] |
| 7 | Henk J. Sips | [1] |
| 8 | Jan Tijmen Udding | [2] |