Paul Dechering

	2000
4		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		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		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

Coauthor Index

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]

Colors in the list of coauthors