-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpublications.html
814 lines (698 loc) · 36.9 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="description" content="Publications of Arend Rensink">
<meta name="keywords" content="index">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="GENERATOR" content="Microsoft FrontPage 3.0">
<title>Publications of Arend Rensink</title>
</head>
<body bgcolor="#FFFFFF">
<h2>Publications of Arend Rensink</h2>
<h3>Object-orientation</h3>
<!-- BEGIN BIBLIOGRAPHY object -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib object.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="KastenbergRen2006"></A><B>Model
checking dynamic states in GROOVE</B> (with Harmen Kastenberg).
In A. Valmari, editor, <CITE>Model Checking Software (SPIN)</CITE>, volume 3925
of <CITE>Lecture Notes in Computer Science</CITE>, pages 299-305.
Springer-Verlag, 2006.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/spin2006.pdf">PDF</A>,
<A HREF="publications.bib#KastenbergRen2006">BibTeX</A>)
<LI><A NAME="KastenbergKleRen2006a"></A><B>Engineering object-oriented semantics using graph
transformations</B> (with Harmen Kastenberg and Anneke Kleppe).
CTIT Technical Report TR-CTIT-06-12, Department of Computer Science, University
of Twente, March 2006.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/taal.pdf">PDF</A>,
<A HREF="publications.bib#KastenbergKleRen2006a">BibTeX</A>)
<LI><A NAME="TaentzerRen2005"></A><B>Ensuring
structural constraints in graph-based models with type inheritance</B> (with
Gabriele Taentzer).
In M. Cerioli, editor, <CITE>Fundamental Approaches to Software Engineering
(FASE)</CITE>, volume 3442 of <CITE>Lecture Notes in Computer Science</CITE>,
pages 64-79. Springer-Verlag, 2005.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/fase2005.pdf">PDF</A>,
<A HREF="publications.bib#TaentzerRen2005">BibTeX</A>)
<LI><A NAME="JaRe02"></A><CITE>Formal Methods for
Open Object-Based Distributed Systems V</CITE> (with Bart Jacobs, editors).
Kluwer Academic Publishers, 2002.
(<A HREF="publications.bib#JaRe02">BibTeX</A>)
<LI><A NAME="Rens02"></A><B>Visualisatie van het
objectgeoriënteerde paragdigma</B>.
<CITE>TINFON --- Tijdschrift voor Informatica-Onderwijs</CITE>, 11(2):80-83,
2002.
NIOC 2002 special issue (in dutch).
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/tinfon02.pdf">PDF</A>,
<A HREF="publications.bib#Rens02">BibTeX</A>)
<LI><A NAME="GlRe01"
HREF="http://www.cs.ubc.ca/ kdvolder/Workshops/OOPSLA2001/ASoC.html"><B>Formal foundations for reasoning about composition</B></A> (with Maurice Glandrup).
Position paper at the OOPSLA 2001 Advanced Separation of Concerns Workshop,
2001.
(<A HREF="http://wwwhome.cs.utwente.nl/~glandrup/workshoppublications/OOPSLA01ASoC.glandruprensink.pdf">PDF</A>,
<A HREF="publications.bib#GlRe01">BibTeX</A>)
<LI><A NAME="DisKatRen00a"
HREF="http://www.ctit.utwente.nl"><B>On a temporal logic for object-based
systems</B></A> (with Dino Distefano and Joost-Pieter Katoen).
CTIT Technical Report TR-CTIT-00-06, Faculty of Informatics, University of
Twente, March 2000.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/00000020.pdf">PDF</A>,
<A HREF="publications.bib#DisKatRen00a">BibTeX</A>)
<LI><A NAME="DisKatRen00c"></A><B>On a temporal
logic for object-based systems</B> (with Dino Distefano and Joost-Pieter
Katoen).
In S. F. Smith and C. L. Talcott, editors, <CITE>Formal Methods for Open
Object-based Distributed Systems</CITE>, pages 305-326. Kluwer Academic
Publishers, 2000.
Report version: TR-CTIT-00-06, Faculty of Informatics, University of Twente.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/FMOODS00.ps">PostScript</A>,
<A HREF="publications.bib#DisKatRen00c">BibTeX</A>)
<LI><A NAME="DisKatRen00b"></A><B>Towards model
checking OCL</B> (with Dino Distefano and Joost-Pieter Katoen).
In <CITE>Defining Precise Semantics for UML (satellite workshop of ECOOP
2000)</CITE>, 2000.
Position paper.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/pUML00.ps">PostScript</A>,
<A HREF="publications.bib#DisKatRen00b">BibTeX</A>)
<LI><A NAME="Rens00c"
HREF="http://trese.cs.utwente.nl/Workshops/yoo/"><B>YOO (Why
Object-Orientation)</B></A>.
CTIT Technical Report TR-CTIT-00-12, Faculty of Informatics, University of
Twente, September 2000.
Report of a satellite workshop of Concur 2000.
(<A HREF="http://trese.cs.utwente.nl/Workshops/yoo/report.zip">PostScript</A>,
<A HREF="http://www.cs.utwente.nl/~rensink/papers/yoo.pdf">PDF</A>,
<A HREF="publications.bib#Rens00c">BibTeX</A>)
<LI><A NAME="Rens97a"></A><B>A typed functional calculus
with state</B>.
In M. Müllhäuser, editor, <CITE>Special Issues in Object-Oriented
Programming</CITE>. dpunkt.verlag, March 1997.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/PTCOOP96.ps">PostScript</A>,
<A HREF="publications.bib#Rens97a">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY object -->
<hr><h3>Graphs, graph transformations and model checking</h3>
<!-- BEGIN BIBLIOGRAPHY graphs -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib graphs.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="DistefanoRenKat2006"></A><B>Safety and
liveness in concurrent pointer programs</B> (with Dino Distefano and
Joost-Pieter Katoen).
In <CITE>Fourth International Symposium on Formal Methods for Components and
Objects</CITE>, Lecture Notes in Computer Science. Springer-Verlag, 2006.
To be published.
(<A HREF="publications.bib#DistefanoRenKat2006">BibTeX</A>)
<LI><A NAME="KastenbergRen2006"></A><B>Model
checking dynamic states in GROOVE</B> (with Harmen Kastenberg).
In A. Valmari, editor, <CITE>Model Checking Software (SPIN)</CITE>, volume 3925
of <CITE>Lecture Notes in Computer Science</CITE>, pages 299-305.
Springer-Verlag, 2006.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/spin2006.pdf">PDF</A>,
<A HREF="publications.bib#KastenbergRen2006">BibTeX</A>)
<LI><A NAME="KastenbergKleRen2006b"></A><B>Defining object-oriented execution semantics using graph
transformations</B> (with Harmen Kastenberg and Anneke Kleppe).
In R. Gorrieri and H. Wehrheim, editors, <CITE>Formal Methods for Open
Object-Based Distributed Systems (FMOODS)</CITE>, volume 4037 of
<CITE>Lecture Notes in Computer Science</CITE>, pages 186-201.
Springer-Verlag, 2006.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/fmoods2006.pdf">PDF</A>,
<A HREF="publications.bib#KastenbergKleRen2006b">BibTeX</A>)
<LI><A NAME="KastenbergKleRen2006a"></A><B>Engineering object-oriented semantics using graph
transformations</B> (with Harmen Kastenberg and Anneke Kleppe).
CTIT Technical Report TR-CTIT-06-12, Department of Computer Science, University
of Twente, March 2006.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/taal.pdf">PDF</A>,
<A HREF="publications.bib#KastenbergKleRen2006a">BibTeX</A>)
<LI><A NAME="RensinkNed2006"></A><B>Graph
transformation semantics for a QVT language</B> (with Ronald Nederpel).
In <CITE>International Workshop on Graph Transformation and Visual Modeling
Techniques</CITE>, Electronic Notes in Theoretical Computer Science, 2006.
To appear.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/gtvmt2006.pdf">PDF</A>,
<A HREF="publications.bib#RensinkNed2006">BibTeX</A>)
<LI><A NAME="BalKoeRen05"
HREF="http://drops.dagstuhl.de/opus/volltexte/2005/29"><B>Summary 2: Graph
grammar verification through abstraction</B></A> (with Paolo Baldan and
Barbara Koenig).
In B. Koenig, U. Montanari and Ph. Gardner, editors, <CITE>Graph
Transformations and Process Algebras for Modeling Distributed and Mobile
Systems</CITE>, number 04241 in Dagstuhl Seminar Proceedings. Internationales
Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005.
(<A HREF="publications.bib#BalKoeRen05">BibTeX</A>)
<LI><A NAME="HeckelKoeRen2005"
HREF="http://www.ctit.utwente.nl"><CITE>Graph Transformation for Verification
and Concurrency</CITE></A> (with Reiko Heckel and Barbara König,
editors).
CTIT Technical Report TR-CTIT-05-34. Department of Computer Science,
University of Twente, August 2005.
Workshop proceedings.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/0000013a.pdf">PDF</A>,
<A HREF="publications.bib#HeckelKoeRen2005">BibTeX</A>)
<LI><A NAME="Rens05a"></A><B>The joys of graph
transformation</B>.
<CITE>Nieuwsbrief van de Nederlandse Vereniging voor Theoretische
Informatica</CITE>, 9, 2005.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/nvti2005.pdf">PDF</A>,
<A HREF="publications.bib#Rens05a">BibTeX</A>)
<LI><A NAME="Rens04d"></A><B>Time and space issues in the
generation of graph transition systems</B>.
In <CITE>International Workshop on Graph-Based Tools (GraBaTs)</CITE>, volume
127 of <CITE>Electronic Notes in Theoretical Computer Science</CITE>, pages
127-139. Elsevier Science Publishers, 2005.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/grabats2004.pdf">PDF</A>,
<A HREF="publications.bib#Rens04d">BibTeX</A>)
<LI><A NAME="RensinkDis2005a"
HREF="http://www.ctit.utwente.nl"><B>Abstract graph transformation</B></A>
(with Dino Distefano).
CTIT Technical Report TR-CTIT-05-04, Department of Computer Science,
University of Twente, January 2005.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/00000118.pdf">PDF</A>,
<A HREF="publications.bib#RensinkDis2005a">BibTeX</A>)
<LI><A NAME="RensinkDis2005b"></A><B>Abstract
graph transformation</B> (with Dino Distefano).
In <CITE>International Workshop on Software Verification and Validation
(SVV)</CITE>, Electronic Notes in Theoretical Computer Science, 2005.
To appear. Technical report version: CTIT TR-CTIT-05-04, University of
Twente.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/svv2005.pdf">PDF</A>,
<A HREF="publications.bib#RensinkDis2005b">BibTeX</A>)
<LI><A NAME="TaentzerRen2005"></A><B>Ensuring
structural constraints in graph-based models with type inheritance</B> (with
Gabriele Taentzer).
In M. Cerioli, editor, <CITE>Fundamental Approaches to Software Engineering
(FASE)</CITE>, volume 3442 of <CITE>Lecture Notes in Computer Science</CITE>,
pages 64-79. Springer-Verlag, 2005.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/fase2005.pdf">PDF</A>,
<A HREF="publications.bib#TaentzerRen2005">BibTeX</A>)
<LI><A NAME="Rens04a"
HREF="http://www.springer.de/comp/lncs/index.html"><B>Canonical graph
shapes</B></A>.
In D. A. Schmidt, editor, <CITE>Programming Languages and Systems --- European
Symposium on Programming (ESOP)</CITE>, volume 2986 of <CITE>Lecture Notes in
Computer Science</CITE>, pages 401-415. Springer-Verlag, 2004.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/esop2004.pdf">PDF</A>,
<A HREF="publications.bib#Rens04a">BibTeX</A>)
<LI><A NAME="Rens03d"></A><B>The GROOVE simulator: A tool
for state space generation</B>.
In J. Pfalz, M. Nagl and B. Böhlen, editors, <CITE>Applications of Graph
Transformations with Industrial Relevance (AGTIVE)</CITE>, volume 3062 of
<CITE>Lecture Notes in Computer Science</CITE>, pages 479-485.
Springer-Verlag, 2004.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/agtive-demo.pdf">PDF</A>,
<A HREF="publications.bib#Rens03d">BibTeX</A>)
<LI><A NAME="Rens04c"></A><B>Representing first-order logic
using graphs</B>.
In H. Ehrig, G. Engels, F. Parisi-Presicce and G. Rozenberg, editors,
<CITE>International Conference on Graph Transformations (ICGT)</CITE>, volume
3256 of <CITE>Lecture Notes in Computer Science</CITE>, pages 319-335.
Springer-Verlag, 2004.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/fol.pdf">PDF</A>,
<A HREF="publications.bib#Rens04c">BibTeX</A>)
<LI><A NAME="Rens04b"></A><B>State space abstraction using
shape graphs</B>.
In <CITE>Automatic Verification of Infinite-State Systems (AVIS)</CITE>,
Electronic Notes in Theoretical Computer Science. Elsevier, 2004.
To appear.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/avis2004.pdf">PDF</A>,
<A HREF="publications.bib#Rens04b">BibTeX</A>)
<LI><A NAME="RenSchVar04"></A><B>Model checking graph
transformations: A comparison of two approaches</B> (with Ákos Schmidt
and Dániel Varró).
In H. Ehrig, G. Engels, F. Parisi-Presicce and G. Rozenberg, editors,
<CITE>International Conference on Graph Transformations (ICGT)</CITE>, volume
3256 of <CITE>Lecture Notes in Computer Science</CITE>, pages 226-241.
Springer-Verlag, 2004.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/mcgt.pdf">PDF</A>,
<A HREF="publications.bib#RenSchVar04">BibTeX</A>)
<LI><A NAME="DisRenKat03"
HREF="http://www.ctit.utwente.nl"><B>Who is pointing when to whom: On
model-checking pointer structures</B></A> (with Dino Distefano and
Joost-Pieter Katoen).
CTIT Technical Report TR-CTIT-03-12, Department of Computer Science,
University of Twente, September 2003.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/who-is-pointing.pdf">PDF</A>,
<A HREF="publications.bib#DisRenKat03">BibTeX</A>)
<LI><A NAME="Rens03b"
HREF="http://www.ctit.utwente.nl"><B>A logic of local graph shapes</B></A>.
CTIT Technical Report TR-CTIT-03-35, Faculty of Informatics, University of
Twente, August 2003.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/lsl.pdf">PDF</A>,
<A HREF="publications.bib#Rens03b">BibTeX</A>)
<LI><A NAME="Rens03a"></A><B>Towards model checking graph
grammars</B>.
In M. Leuschel, S. Gruner and S. Lo Presti, editors, <CITE>Workshop on
Automated Verification of Critical Systems (AVoCS)</CITE>, Technical Report
DSSE-TR-2003-2, pages 150-160. University of Southampton, 2003.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/mc-gg.pdf">PDF</A>,
<A HREF="publications.bib#Rens03a">BibTeX</A>)
<LI><A NAME="DisRenKat02b"></A><B>Model checking
birth and death</B> (with Dino Distefano and Joost-Pieter Katoen).
In R.A. Baeza-Yates, U. Montanari and N. Santoro, editors, <CITE>Foundations of
Information Technology in the Era of Network and Mobile Computing</CITE>,
volume 223 of <CITE>IFIP Conference Proceedings</CITE>, pages 435-447.
Kluwer Academic Publishers, 2002.
Full report version: TR-CTIT-01-40, University of Twente.
(<A HREF="publications.bib#DisRenKat02b">BibTeX</A>)
<LI><A NAME="DisRenKat02a"
HREF="http://www.ctit.utwente.nl"><B>Model checking dynamic allocation and
deallocation</B></A> (with Dino Distefano and Joost-Pieter Katoen).
CTIT Technical Report TR-CTIT-01-40, Department of Computer Science,
University of Twente, March 2002.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/DiRK02.pdf">PDF</A>,
<A HREF="publications.bib#DisRenKat02a">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY graphs -->
<hr><h3>Model Driven Architecture</h3>
<!-- BEGIN BIBLIOGRAPHY mda -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib mda.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="Havinga+2006"></A><B>An abstract
metamodel for aspect languages</B> (with Wilke Havinga, Tom Staijen, Lodewijk
Bergmans and Klaas van den Berg).
In <CITE>Open and Dynamic Aspect Languages (Satellite workshop of AOSD)</CITE>,
2006.
(<A HREF="publications.bib#Havinga+2006">BibTeX</A>)
<LI><A NAME="RensinkNed2006"></A><B>Graph
transformation semantics for a QVT language</B> (with Ronald Nederpel).
In <CITE>International Workshop on Graph Transformation and Visual Modeling
Techniques</CITE>, Electronic Notes in Theoretical Computer Science, 2006.
To appear.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/gtvmt2006.pdf">PDF</A>,
<A HREF="publications.bib#RensinkNed2006">BibTeX</A>)
<LI><A NAME="AssmannAksRen2005"></A><CITE>Model
Driven Architecture</CITE> (with Uwe Aßmann and Mehmet Aksit, editors).
volume 3599 of <CITE>Lecture Notes in Computer Science</CITE>. Springer-Verlag,
2005.
(<A HREF="publications.bib#AssmannAksRen2005">BibTeX</A>)
<LI><A NAME="JonesRenBri05"></A><B>Modelling mobile
health systems: an application of augmented MDA for the extended healthcare
enterprise</B> (with Val Jones and Ed Brinksma).
In <CITE>Proc. Ninth IEEE International EDOC Enterprise Computing Conference
(EDOC)</CITE>, pages 58-69. IEEE Computer Society, 2005.
(<A HREF="publications.bib#JonesRenBri05">BibTeX</A>)
<LI><A NAME="Rens05b"
HREF="http://drops.dagstuhl.de/opus/volltexte/2005/24"><B>Subjects, models,
languages, transformations</B></A>.
In Jean Bezivin and Reiko Heckel, editors, <CITE>Language Engineering for
Model-Driven Software Development</CITE>, number 04101 in Dagstuhl Seminar
Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI),
Schloss Dagstuhl, Germany, 2005.
(<A HREF="publications.bib#Rens05b">BibTeX</A>)
<LI><A NAME="Rens03c"
HREF="http://www.ctit.utwente.nl"><CITE>Model Driven Architecture:
Foundations and Applications</CITE></A> (with , editor).
CTIT Technical Report TR-CTIT-03-27. Faculty of Informatics, University of
Twente, June 2003.
Workshop proceedings.
(<A HREF="http://trese.cs.utwente.nl/mdafa2003/proceedings.pdf">PDF</A>,
<A HREF="publications.bib#Rens03c">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY mda -->
<hr><h3>Formal theory of testing</h3>
<!-- BEGIN BIBLIOGRAPHY testing -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib testing.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="RensinkVog2005"
HREF="http://eprints.eemcs.utwente.nl/1623/"><B>Fair testing</B></A> (with
Walter Vogler).
CTIT Technical Report TR-CTIT-05-64, Department of Computer Science,
University of Twente, December 2005.
Submitted for publication.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/0000015c.pdf">PDF</A>,
<A HREF="publications.bib#RensinkVog2005">BibTeX</A>)
<LI><A NAME="BijRenTre05a"></A><B>Action
refinement in conformance testing</B> (with Machiel van der Bijl and Jan
Tretmans).
In F. Khendek and R. Dssouli, editors, <CITE>Testing of Communicating Systems
(TESTCOM)</CITE>, volume 3205 of <CITE>Lecture Notes in Computer
Science</CITE>, pages 81-96. Springer-Verlag, 2005.
Technical report version: TR-CTIT-05-51, Department of Informatics,
University of Twente.
(<A HREF="http://www.cs.utwente.nl/ rensink/papers/testcom2005.pdf">PDF</A>,
<A HREF="publications.bib#BijRenTre05a">BibTeX</A>)
<LI><A NAME="BijRenTre05b"
HREF="http://www.ctit.utwente.nl"><B>Action refinement in testiong with
UIOCO</B></A> (with Machiel van der Bijl and Jan Tretmans).
CTIT Technical Report TR-CTIT-05-10, Department of Informatics, University
of Twente, February 2005.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/00000123.pdf">PDF</A>,
<A HREF="publications.bib#BijRenTre05b">BibTeX</A>)
<LI><A NAME="BijRenTre04"></A><B>Component based
testing with <B>ioco</B></B> (with Machiel van der Bijl and Jan Tretmans).
In A. Petrenko and A. Ulrich, editors, <CITE>Formal Apporaches to Testing of
Software (FATES)</CITE>, volume 2931 of <CITE>Lecture Notes in Computer
Science</CITE>, pages 86-100. Springer-Verlag, 2004.
Full report: TR-CTIT-03-34, University of Twente.
(<A HREF="http://www.cs.utwente.nl/ vdbijl/papers/vdbijl.pdf">PDF</A>,
<A HREF="publications.bib#BijRenTre04">BibTeX</A>)
<LI><A NAME="BijRenTre03"
HREF="http://www.ctit.utwente.nl"><B>Component based testing with
<B>ioco</B></B></A> (with Machiel van der Bijl and Jan Tretmans).
CTIT Technical Report TR-CTIT-03-34, Faculty of Informatics, University of
Twente, August 2003.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/IOCOcongruence.pdf">PDF</A>,
<A HREF="publications.bib#BijRenTre03">BibTeX</A>)
<LI><A NAME="BrRV96"></A><B>Applications of fair
testing</B> (with Ed Brinksma and Walter Vogler).
In <CITE>Protocol Specification, Testing, and Verification, XVI</CITE>. IFIP,
Chapman & Hall, 1996.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/PSTV96.ps">PostScript</A>,
<A HREF="publications.bib#BrRV96">BibTeX</A>)
<LI><A NAME="BrRV95"></A><B>Fair testing</B> (with
Ed Brinksma and Walter Vogler).
In I. Lee and S. A. Smolka, editors, <CITE>Concurrency Theory (CONCUR)</CITE>,
volume 962 of <CITE>Lecture Notes in Computer Science</CITE>, pages 313-327.
Springer-Verlag, 1995.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Concur95-ft.ps">PostScript</A>,
<A HREF="publications.bib#BrRV95">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY testing -->
<hr WIDTH="100%">
<h3>Action refinement</h3>
<!-- BEGIN BIBLIOGRAPHY action -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib action.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="GoRe01"></A><B>Action
refinement</B> (with Roberto Gorrieri).
In J. A. Bergstra, A. Ponse and S. A. Smolka, editors, <CITE>Handbook of
Process Algebra</CITE>, chapter 16, pages 1047-1147. Elsevier, 2001.
(<A HREF="publications.bib#GoRe01">BibTeX</A>)
<LI><A NAME="ReGo01"></A><B>Vertical
implementation</B> (with Roberto Gorrieri).
<CITE>Information and Computation</CITE>, 170:95-133, 2001.
Extended version of ``Vertical Bisimulation'' (TAPSOFT '97). Full report
version: Hildesheimer Informatik-Bericht 9/98, University of Hildesheim.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/InfComp00.ps">PostScript</A>,
<A HREF="publications.bib#ReGo01">BibTeX</A>)
<LI><A NAME="Rens00b"></A><B>Action contraction</B>.
In C. Palamidessi, editor, <CITE>Concurrency Theory (CONCUR)</CITE>, volume
1877 of <CITE>Lecture Notes in Computer Science</CITE>, pages 290-304.
Springer-Verlag, 2000.
Report version: TR-CTIT-00-13, Faculty of Informatics, University of Twente.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Concur00.ps">PostScript</A>,
<A HREF="publications.bib#Rens00b">BibTeX</A>)
<LI><A NAME="Rens00d"
HREF="http://www.ctit.utwente.nl"><B>Action contraction using coupled
simulation</B></A>.
CTIT Technical Report TR-CTIT-00-13, Faculty of Informatics, University of
Twente, October 2000.
A conference version of this report was presented at Concur 2000.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/CTIT-00-13.ps">PostScript</A>,
<A HREF="http://www.cs.utwente.nl/~rensink/papers/CTIT-00-13.pdf">PDF</A>,
<A HREF="publications.bib#Rens00d">BibTeX</A>)
<LI><A NAME="ReWe99"
HREF="http://www.ctit.utwente.nl"><B>Process algebra with action
dependencies</B></A> (with Heike Wehrheim).
CTIT Technical Report 99-02, University of Twente, 1999.
Appeared in Acta Informatica, vol. 38.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/00000010.pdf">PDF</A>,
<A HREF="publications.bib#ReWe99">BibTeX</A>)
<LI><A NAME="ReGo98"></A><B>Vertical
bisimulation</B> (with Roberto Gorrieri).
Hildesheimer Informatik-Bericht 9/98, University of Hildesheim, June 1998.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB98-9.ps">PostScript</A>,
<A HREF="publications.bib#ReGo98">BibTeX</A>)
<LI><A NAME="ReWe97"></A><B>Dependency-based
action refinement</B> (with Heike Wehrheim).
In I. Prívara and P. Ruzicka, editors, <CITE>Mathematical Foundations of
Computer Science (MFCS)</CITE>, volume 1295 of <CITE>Lecture Notes in
Computer Science</CITE>, pages 468-477. Springer-Verlag, 1997.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/MFCS97.ps">PostScript</A>,
<A HREF="publications.bib#ReWe97">BibTeX</A>)
<LI><A NAME="GoGR96"
HREF="http://www.idealibrary.com/links/artid/inco.1996.0026"><B>Comparing
syntactic and semantic action refinement</B></A> (with Ursula Goltz and
Roberto Gorrieri).
<CITE>Information and Computation</CITE>, 125(2):118-143, March 1996.
(<A HREF="publications.bib#GoGR96">BibTeX</A>)
<LI><A NAME="Rens95b"></A><B>An event-based SOS for a
language with refinement</B>.
In J. Desel, editor, <CITE>Structures in Concurrency Theory</CITE>, Workshops
in Computing, pages 294-309. Springer-Verlag, 1995.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/STRICT95.ps">PostScript</A>,
<A HREF="publications.bib#Rens95b">BibTeX</A>)
<LI><A NAME="Rens94"></A><B>Methodological aspects of action
refinement</B>.
In E.-R. Olderog, editor, <CITE>Programming Concepts, Methods and
Calculi</CITE>, volume A-56 of <CITE>IFIP Transactions</CITE>, pages
227-246. IFIP, 1994.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/PROCOMET94.ps">PostScript</A>,
<A HREF="publications.bib#Rens94">BibTeX</A>)
<LI><A NAME="Rens93"></A><CITE>Models and Methods for Action
Refinement</CITE>.
PhD thesis, University of Twente, Enschede, Netherlands, August 1993.
(<A HREF="publications.bib#Rens93">BibTeX</A>)
<LI><A NAME="CoRe92"></A><B>Abstraction and
refinement in configuration structures</B> (with Ruggero Costantini).
Hildesheimer Informatik-Berichte 18/92, Institut für Informatik, University
of Hildesheim, November 1992.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB92-18.ps">PostScript</A>,
<A HREF="publications.bib#CoRe92">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY action -->
<hr>
<h3>Process algebra</h3>
<!-- BEGIN BIBLIOGRAPHY process -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib process.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="RensinkVog2005"
HREF="http://eprints.eemcs.utwente.nl/1623/"><B>Fair testing</B></A> (with
Walter Vogler).
CTIT Technical Report TR-CTIT-05-64, Department of Computer Science,
University of Twente, December 2005.
Submitted for publication.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/0000015c.pdf">PDF</A>,
<A HREF="publications.bib#RensinkVog2005">BibTeX</A>)
<LI><A NAME="BijRenTre03"
HREF="http://www.ctit.utwente.nl"><B>Component based testing with
<B>ioco</B></B></A> (with Machiel van der Bijl and Jan Tretmans).
CTIT Technical Report TR-CTIT-03-34, Faculty of Informatics, University of
Twente, August 2003.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/IOCOcongruence.pdf">PDF</A>,
<A HREF="publications.bib#BijRenTre03">BibTeX</A>)
<LI><A NAME="GoRe01"></A><B>Action
refinement</B> (with Roberto Gorrieri).
In J. A. Bergstra, A. Ponse and S. A. Smolka, editors, <CITE>Handbook of
Process Algebra</CITE>, chapter 16, pages 1047-1147. Elsevier, 2001.
(<A HREF="publications.bib#GoRe01">BibTeX</A>)
<LI><A NAME="ReGo01"></A><B>Vertical
implementation</B> (with Roberto Gorrieri).
<CITE>Information and Computation</CITE>, 170:95-133, 2001.
Extended version of ``Vertical Bisimulation'' (TAPSOFT '97). Full report
version: Hildesheimer Informatik-Bericht 9/98, University of Hildesheim.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/InfComp00.ps">PostScript</A>,
<A HREF="publications.bib#ReGo01">BibTeX</A>)
<LI><A NAME="ReWe01"></A><B>Process algebra
with action dependencies</B> (with Heike Wehrheim).
<CITE>Acta Informatica</CITE>, 38:155-234, 2001.
Report version: TR-CTIT-99-02, Faculty of Informatics, University of Twente.
(<A HREF="publications.bib#ReWe01">BibTeX</A>)
<LI><A NAME="Rens00a"
HREF="http://www.idealibrary.com/links/artid/inco.1999.2818"><B>Bisimilarity
of open terms</B></A>.
<CITE>Information and Computation</CITE>, 156(1/2):345-385, January 2000.
EXPRESS '97 special issue; report version: Hildesheimer Informatik-Bericht
5/97, University of Hildesheim.
(<A HREF="publications.bib#Rens00a">BibTeX</A>)
<LI><A NAME="GeRe99"></A><B>A mobile calculus
with data</B> (with Thomas Gehrke).
Technical Report 99-04, Technical University of Braunschweig, Institute for
Software, October 1999.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/BS-TR-99-04.ps">PostScript</A>,
<A HREF="publications.bib#GeRe99">BibTeX</A>)
<LI><A NAME="ReWe99"
HREF="http://www.ctit.utwente.nl"><B>Process algebra with action
dependencies</B></A> (with Heike Wehrheim).
CTIT Technical Report 99-02, University of Twente, 1999.
Appeared in Acta Informatica, vol. 38.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/00000010.pdf">PDF</A>,
<A HREF="publications.bib#ReWe99">BibTeX</A>)
<LI><A NAME="FiGR98a"></A><B>Spezifikation eines
RPC-Speichers mit der Sprache ProFun</B> (with Thomas Firley and
Thomas Gehrke).
In H. König and P. Langendörfer, editors, <CITE>Formale
Beschreibungstechniken für verteilte Systeme</CITE>, pages 136-147.
Shaker Verlag, Aachen, 1998.
Report version: Hildesheimer Informatik-Bericht 4/98.
(<A HREF="publications.bib#FiGR98a">BibTeX</A>)
<LI><A NAME="Gehr+98b"></A><B>An algebraic semantics
for message sequence chart documents</B> (with Thomas Gehrke, Michaela Huhn
and Heike Wehrheim).
In S. Budkowski, A. Cavalli and E. Najm, editors, <CITE>Formal Description
Techniques</CITE>. Chapman-Hall, 1998.
Full report version: Hildesheimer Informatik-Bericht 5/98.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Forte98.ps">PostScript</A>,
<A HREF="publications.bib#Gehr+98b">BibTeX</A>)
<LI><A NAME="Gehr+98c"></A><B>An algebraic semantics
for message sequence chart documents</B> (with Thomas Gehrke, Michaela Huhn
and Heike Wehrheim).
Hildesheimer Informatik-Bericht 5/98, University of Hildesheim, May 1998.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB98-5.ps">PostScript</A>,
<A HREF="publications.bib#Gehr+98c">BibTeX</A>)
<LI><A NAME="GeRe97a"></A><B>Process creation and
full sequential composition in a name-passing calculus</B> (with Thomas
Gehrke).
In C. Palamidessi and J. Parrow, editors, <CITE>Expressiveness in
Concurrency</CITE>, volume 7 of <CITE>Electronic Notes in Theoretical
Computer Science</CITE>. Elsevier Science Publishers, 1997.
Corrected version in Hildesheimer Informatik-Bericht 97/7, University of
Hildesheim.
(<A HREF="http://www.elsevier.nl/locate/entcs/">PostScript</A>,
<A HREF="publications.bib#GeRe97a">BibTeX</A>)
<LI><A NAME="Rens97b"
HREF="http://www.elsevier.nl/locate/entcs/"><B>Bisimilarity of open
terms</B></A>.
In C. Palamidessi and J. Parrow, editors, <CITE>Expressiveness in
Concurrency</CITE>, volume 7 of <CITE>Electronic Notes in Theoretical
Computer Science</CITE>. Elsevier Science Publishers, 1997.
Full report version: Hildesheimer Informatik-Bericht 5/97, University of
Hildesheim, May 1997.
(<A HREF="publications.bib#Rens97b">BibTeX</A>)
<LI><A NAME="BrRV96"></A><B>Applications of fair
testing</B> (with Ed Brinksma and Walter Vogler).
In <CITE>Protocol Specification, Testing, and Verification, XVI</CITE>. IFIP,
Chapman & Hall, 1996.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/PSTV96.ps">PostScript</A>,
<A HREF="publications.bib#BrRV96">BibTeX</A>)
<LI><A NAME="BrRV95"></A><B>Fair testing</B> (with
Ed Brinksma and Walter Vogler).
In I. Lee and S. A. Smolka, editors, <CITE>Concurrency Theory (CONCUR)</CITE>,
volume 962 of <CITE>Lecture Notes in Computer Science</CITE>, pages 313-327.
Springer-Verlag, 1995.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Concur95-ft.ps">PostScript</A>,
<A HREF="publications.bib#BrRV95">BibTeX</A>)
<LI><A NAME="ReWe94"></A><B>Weak sequential
composition in process algebras</B> (with Heike Wehrheim).
In B. Jonsson and J. Parrow, editors, <CITE>Concurrency Theory (CONCUR)</CITE>,
volume 836 of <CITE>Lecture Notes in Computer Science</CITE>, pages 226-241.
Springer-Verlag, 1994.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Concur94.ps">PostScript</A>,
<A HREF="publications.bib#ReWe94">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY process -->
<hr>
<h3>Partial order models</h3>
<!-- BEGIN BIBLIOGRAPHY partial -->
<!--
DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY!
YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!
-->
<!-- Generated by: /home/fmg/rensink/bin/bib2html -m publications.bib partial.aux /home/fmg/rensink/public_html/publications.html -->
<UL>
<LI><A NAME="ReWe99"
HREF="http://www.ctit.utwente.nl"><B>Process algebra with action
dependencies</B></A> (with Heike Wehrheim).
CTIT Technical Report 99-02, University of Twente, 1999.
Appeared in Acta Informatica, vol. 38.
(<A HREF="http://www.ub.utwente.nl/webdocs/ctit/1/00000010.pdf">PDF</A>,
<A HREF="publications.bib#ReWe99">BibTeX</A>)
<LI><A NAME="Rens96b"
HREF="http://www.nd.edu/~ndjfl/recent.forthcoming/Spec.Issue/rensink.html"><B>Algebra and theory of order-deterministic pomsets</B></A>.
<CITE>Notre Dame Journal of Formal Logic</CITE>, 37(2):283-320, 1996.
(<A HREF="publications.bib#Rens96b">BibTeX</A>)
<LI><A NAME="Rens96a"></A><B>Denotational, causal, and
operational determinism in event structures</B>.
In H. Kirchner, editor, <CITE>Trees in Algebra and Programming (CAAP)</CITE>,
volume 1059 of <CITE>Lecture Notes in Computer Science</CITE>, pages
272-286. Springer-Verlag, 1996.
Full report version: HIB 29/95, Institut für Informatik, University of
Hildesheim.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/CAAP96.ps">PostScript</A>,
<A HREF="publications.bib#Rens96a">BibTeX</A>)
<LI><A NAME="Rens95d"></A><B>Causal traces</B>.
Hildesheimer Informatik-Bericht 39/95, Institut für Informatik, University
of Hildesheim, December 1995.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB95-39.ps">PostScript</A>,
<A HREF="publications.bib#Rens95d">BibTeX</A>)
<LI><A NAME="Rens95"></A><B>A complete theory of
deterministic event structures</B>.
In I. Lee and S. A. Smolka, editors, <CITE>Concurrency Theory (CONCUR)</CITE>,
volume 962 of <CITE>Lecture Notes in Computer Science</CITE>, pages 160-174.
Springer-Verlag, 1995.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Concur95-de.ps">PostScript</A>,
<A HREF="publications.bib#Rens95">BibTeX</A>)
<LI><A NAME="Rens95c"></A><B>Denotational, causal, and
operational determinism in event structures</B>.
Hildesheimer Informatik-Bericht 29/95, Institut für Informatik, University
of Hildesheim, September 1995.
Appeared in CAAP '96.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB95-29.ps">PostScript</A>,
<A HREF="publications.bib#Rens95c">BibTeX</A>)
<LI><A NAME="Rens95b"></A><B>An event-based SOS for a
language with refinement</B>.
In J. Desel, editor, <CITE>Structures in Concurrency Theory</CITE>, Workshops
in Computing, pages 294-309. Springer-Verlag, 1995.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/STRICT95.ps">PostScript</A>,
<A HREF="publications.bib#Rens95b">BibTeX</A>)
<LI><A NAME="GoRe94"
HREF="http://www.elsevier.nl/gej-ng/10/41/16/50/17/23/abstract.html"><B>Finite Petri nets as models for recursive causal behaviour</B></A> (with Ursula
Goltz).
<CITE>Theoretical Computer Science</CITE>, 124:169-179, 1994.
(<A HREF="publications.bib#GoRe94">BibTeX</A>)
<LI><A NAME="Rens94c"></A><B>Deterministic pomsets</B>.
Hildesheimer Informatik-Berichte 30/94, Institut für Informatik, University
of Hildesheim, November 1994.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB94-30.ps">PostScript</A>,
<A HREF="publications.bib#Rens94c">BibTeX</A>)
<LI><A NAME="Rens93"></A><CITE>Models and Methods for
Action Refinement</CITE>.
PhD thesis, University of Twente, Enschede, Netherlands, August 1993.
(<A HREF="publications.bib#Rens93">BibTeX</A>)
<LI><A NAME="Rens93b"></A><B>Order isomorphism does not
preserve global event independence</B>.
<CITE>Bull. Eur. Ass. Theoret. Comput. Sci.</CITE>, 51:228-235, October
1993.
Also available as Hildesheimer Informatik-Bericht 10/93, Institut für
Informatik, University of Hildesheim.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB93-10.ps">PostScript</A>,
<A HREF="publications.bib#Rens93b">BibTeX</A>)
<LI><A NAME="CoRe92"></A><B>Abstraction and
refinement in configuration structures</B> (with Ruggero Costantini).
Hildesheimer Informatik-Berichte 18/92, Institut für Informatik, University
of Hildesheim, November 1992.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/HIB92-18.ps">PostScript</A>,
<A HREF="publications.bib#CoRe92">BibTeX</A>)
<LI><A NAME="Rens92"></A><B>Posets for configurations!</B>.
In W. R. Cleaveland, editor, <CITE>Concur '92</CITE>, volume 630 of
<CITE>Lecture Notes in Computer Science</CITE>, pages 269-285.
Springer-Verlag, 1992.
(<A HREF="http://www.cs.utwente.nl/~rensink/papers/Concur92.ps">PostScript</A>,
<A HREF="publications.bib#Rens92">BibTeX</A>)
</UL>
<!-- END BIBLIOGRAPHY partial -->
<hr>
<address>
Page provided by <a href="http://www.cs.utwente.nl/~rensink/">Arend Rensink</a>.
</address>
<p><br>
Last change: <!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%d-%m-%y" startspan -->26-04-02<!--webbot bot="Timestamp" endspan i-checksum="12466" --> <br>
</p>
</body>
</html>
<hr>