Search results for: Ruurd Kuiper
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 208-238
Lecture Notes in Computer Science > CONCUR '92 > 222-236
Lecture Notes in Computer Science > CONCUR'93 > 353-367
Lecture Notes in Computer Science > CONCUR '92 > 77-93
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Object Orientation > 208-221
Electronic Notes in Theoretical Computer Science > 2008 > 195 > Complete > 211-229
Electronic Notes in Theoretical Computer Science > 2006 > 160 > Complete > 225-237
Information and Computation > 1999 > 150 > 2 > 132-152
Formal Aspects of Computing > 1998 > 10 > 5-6 > 469-482