Paul Dechering

According to our database, Paul Dechering authored at least 5 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

On the Verification of Coordination.

Paul Dechering, Izak van Langevelde

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Transparent object replication: a formal model.

Paul Dechering, Edwin D. de Jong

Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE.

Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Transparent Process Replication in a Shared Data Space Architecture for Distributed Systems.

Paul Dechering, Edwin D. de Jong

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

Semantics and Implementation of a Generalized forall Statement for Parallel Languages.

Paul Dechering, Leo C. Breebaart, Frits Kuijlman, Kees van Reeuwijk, Henk J. Sips

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997