Paul Dechering

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

Publications

Paul Dechering, Izak van Langevelde
On the Verification of Coordination. COORDINATION (2000)
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)
Paul Dechering, Edwin D. de Jong
Transparent Process Replication in a Shared Data Space Architecture for Distributed Systems. ECOOP Workshops (1999)
Paul Dechering, Edwin D. de Jong
Transparent object replication: a formal model. WORDS (Fall) (1999)
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)