@TechReport{lsl,
  Crossref="Rens03b",
}

@TechReport{IOCOcongruence,
  Crossref="BijRenTre03",
}

@Proceedings{AssmannAksRen2005,
  Title="Model Driven Architecture",
  BookTitle="Model Driven Architecture",
  Editor="Uwe A{\ss}mann and Mehmet Aksit and Arend Rensink",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=3599,
  Year=2005,
}

@InProceedings{BalKoeRen05,
  author =     {Paolo Baldan and Barbara Koenig and Arend Rensink},
  title =      {Summary 2: Graph Grammar Verification through Abstraction},
  booktitle =  {Graph Transformations and Process Algebras for Modeling
                Distributed and Mobile Systems},
  year =       {2005},
  editor =     {B. Koenig and U. Montanari and Ph. Gardner},
  number =     {04241},
  series =     {Dagstuhl Seminar Proceedings},
  publisher =  {Internationales Begegnungs- und Forschungszentrum (IBFI),
                Schloss Dagstuhl, Germany},
  URL = "http://drops.dagstuhl.de/opus/volltexte/2005/29",
}

@InProceedings{Best+95,
  Author="Eike Best and Raymond Devillers and Elisabeth Pelz and Arend Rensink
                  and Manuel Silva and Enrique Teruel", 
  Pages="2--31",
  Title="{CALIBAN} --- {E}sprit Basic Research {WG} 6067",
  Booktitle="Structures in Concurrency Theory",
  Editor="J. Desel",
  Publisher="Springer-Verlag",
  Series="Workshops in Computing",
  Year=1995,
}

@TechReport{BijRenTre03,
  Author="Machiel van der Bijl and Arend Rensink and Jan Tretmans",
  Title="Component Based Testing with \textbf{ioco}",
  Institution="Faculty of Informatics, University of Twente",
  Type="CTIT Technical Report",
  Number="TR--CTIT--03--34",
  Month=Aug,
  Year=2003,
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/IOCOcongruence.pdf",
}

@InProceedings{BijRenTre04,
  Author="Machiel van der Bijl and Arend Rensink and Jan Tretmans",
  Title="Component Based Testing with \textbf{ioco}",
  Booktitle="Formal Apporaches to Testing of Software (FATES)",
  Editor="A. Petrenko and A. Ulrich",
  Series="Lecture Notes in Computer Science",
  Publisher="Springer-Verlag",
  Volume=2931,
  Year=2004,
  Pages="86--100",
  PDF="http://www.cs.utwente.nl/~vdbijl/papers/vdbijl.pdf",
  Note="Full report: TR--CTIT--03--34, University of Twente",
}

@InProceedings{BijRenTre05a,
  Author="Machiel van der Bijl and Arend Rensink and Jan Tretmans",
  Title="Action Refinement in Conformance Testing",
  Booktitle="Testing of Communicating Systems (TESTCOM)",
  Editor="F. Khendek and R. Dssouli",
  Series="Lecture Notes in Computer Science",
  Publisher="Springer-Verlag",
  Year=2005,
  Volume=3205,
  Pages="81--96",
  PDF="http://www.cs.utwente.nl/~rensink/papers/testcom2005.pdf",
  Note="Technical report version: TR--CTIT--05--51, Department of Informatics, University of Twente",
}

@TechReport{BijRenTre05b,
    Author="Machiel van der Bijl and Arend Rensink and Jan Tretmans",
    Title="Action refinement in Testiong with {UIOCO}",
    Institution="Department of Informatics, University of Twente",
    Type="CTIT Technical Report",
    Number="TR--CTIT--05--10",
    Month=Feb,
    Year=2005,
    URL="http://www.ctit.utwente.nl",
    PDF="http://www.ub.utwente.nl/webdocs/ctit/1/00000123.pdf",
}

@TechReport{BijRenTre05c,
    Author="Machiel van der Bijl and Arend Rensink and Jan Tretmans",
    Title="Action Refinement in Conformance Testing",
    Institution="Department of Computer Science, University of Twente",
    Type="CTIT Technical Report",
    Number="TR--CTIT--05--51",
    URL="http://www.ctit.utwente.nl",
    Year=2005,
    PDF="http://www.ub.utwente.nl/webdocs/ctit/1/0000014e.pdf",
}

@InProceedings{BrRV95,
  Author="Ed Brinksma and Arend Rensink and Walter Vogler",
  Pages="313--327",
  Title="Fair Testing", 
  Booktitle="Concurrency Theory (CONCUR)",
  Editor="I. Lee and S. A. Smolka",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=962,
  Year=1995,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/Concur95-ft.ps"}

@InProceedings{BrRV96,
  Author="Ed Brinksma and Arend Rensink and Walter Vogler",
  Title="Applications of Fair Testing",
  Booktitle="Protocol Specification, Testing, and Verification, {XVI}",
  Year=1996,
  Organization="IFIP",
  Publisher="Chapman \& Hall",
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/PSTV96.ps"}

@TechReport{Brin+94b,
  Author="Ed Brinksma and Joachim Parrow and Arend {Rensink (organisers)} and Stefan {Heymer (editor)}",
  Institution="Institut f{\"u}r Informatik, University of Hildesheim",
  Month=Sep,
  Note="Summary of a Workshop held at University of Hildesheim in March 1994",
  Number="24/94",
  Title="Specification of Systems: Theory in Search of Practice",
  Type="Hildesheimer Informatik-Berichte",
  Year=1994}

@TechReport{CoRe92,
  Author="Ruggero Costantini and Arend Rensink",
  Institution="Institut f{\"u}r Informatik, University of Hildesheim",
  Month=Nov,
  Number="18/92",
  Title="Abstraction and Refinement in Configuration Structures",
  Type="Hildesheimer Informatik-Berichte",
  Year=1992,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB92-18.ps"}

@InCollection{DistefanoRenKat2006,
  Author="Dino Distefano and Arend Rensink and Joost-Pieter Katoen",
  Title="Safety and Liveness in Concurrent Pointer Programs",
  Booktitle=" Fourth International Symposium on Formal Methods for Components and Objects",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Year=2006,
  Note="To be published",
}

@TechReport{DisKatRen00a,
  Author="Dino Distefano and Joost-Pieter Katoen and Arend Rensink",
  Title="On a Temporal Logic for Object-Based Systems",
  Institution="Faculty of Informatics, University of Twente",
  Type="CTIT Technical Report", Number="TR--CTIT--00--06",
  Month=Mar, Year=2000,
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.ub.utwente.nl/webdocs/ctit/1/00000020.pdf"}

@InProceedings{DisKatRen00c,
  Author="Dino Distefano and Joost-Pieter Katoen and Arend Rensink",
  Title="On a Temporal Logic for Object-Based Systems",
  Booktitle="Formal Methods for Open Object-based Distributed Systems",
  Editor="S.~F. Smith and C.~L. Talcott",
  Publisher="Kluwer Academic Publishers", Year=2000, Pages="305--326",
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/FMOODS00.ps",
  Note="Report version: TR--CTIT--00--06, Faculty of Informatics, University of Twente"}

@InProceedings{DisKatRen00b,
  Author="Dino Distefano and Joost-Pieter Katoen and Arend Rensink",
  Title="Towards Model Checking {OCL}",
  Booktitle="Defining Precise Semantics for UML (satellite workshop of ECOOP 2000)",
  Postscript="http://www.cs.utwente.nl/\~{}rensink/papers/pUML00.ps",
  Year=2000, Note="Position paper"}

@TechReport{DisRenKat02a,
  Title="Model Checking Dynamic Allocation and Deallocation",
  Author="Dino Distefano and Arend Rensink and Joost-Pieter Katoen",
  Institution="Department of Computer Science, University of Twente",
  Type="CTIT Technical Report",
  Number="TR--CTIT--01--40",
  Month=Mar,
  Year=2002,
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/DiRK02.pdf",
}

@InProceedings{DisRenKat02b,
  Title="Model Checking Birth and Death",
  Author="Dino Distefano and Arend Rensink and Joost-Pieter Katoen",
  editor    = "R.A. Baeza-Yates and U. Montanari and N. Santoro",
  booktitle     = "Foundations of Information Technology in the Era of
        Network and Mobile Computing",
  pages     = {435--447},
  publisher = {Kluwer Academic Publishers},
  series    = {IFIP Conference Proceedings},
  volume    = {223},
  year      = {2002},
  Note="Full report version: TR--CTIT--01--40, University of Twente",
}

@TechReport{DisRenKat03,
  Author="Dino Distefano and Arend Rensink and Joost-Pieter Katoen",
  Title="Who is Pointing When to Whom: On Model-Checking Pointer Structures",
  Institution="Department of Computer Science, University of Twente",
  Type="CTIT Technical Report", 
  Month=Sep,
  Year=2003,
  Number="TR--CTIT--03--12",
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/who-is-pointing.pdf",
}

@InProceedings{DisKatRen04,
  Author="Dino Distefano and Joost-Pieter Katoen and Arend Rensink",
  Title="Who is Pointing When to Whom?
         On the automated verification of linked list structures",
  Booktitle="Foundations of Software
             Technology and Theoretical Computer Science (FSTTCS)",
  Editor="K. Lodaya and M. Mahajan",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=3328,
  Year=2004,
  Pages="250--262",
  Note="Full report version: TR--CTIT--03--12, Department of
                  Computer Science, University of Twente",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/fsttcs2004.pdf",
}

@TechReport{RensinkDis2005a,
  Author="Arend Rensink and Dino Distefano",
  Title="Abstract Graph Transformation",
  Institution="Department of Computer Science, University of Twente",
  Type="CTIT Technical Report", 
  Month=Jan,
  Year=2005,
  Number="TR--CTIT--05--04",
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.ub.utwente.nl/webdocs/ctit/1/00000118.pdf",
}

@InProceedings{RensinkDis2005b,
  Author="Arend Rensink and Dino Distefano",
  Title="Abstract Graph Transformation",
  Booktitle="International Workshop on Software Verification and Validation (SVV)",
  Series="Electronic Notes in Theoretical Computer Science",
  Note="To appear. Technical report version: CTIT TR--CTIT--05--04, University
                  of Twente",
  Year=2005,
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/svv2005.pdf",
}

@InProceedings{FiGR98a,
  Author="Thomas Firley and Thomas Gehrke and Arend Rensink",
  Title="Spezifikation eines {RPC}-{S}peichers mit der {S}prache {ProFun}",
  Editor="H. K{\"o}nig and P. Langend{\"o}rfer",
  Booktitle="{F}ormale {B}eschreibungstechniken f{\"u}r verteilte {S}ysteme",
  Publisher="Shaker Verlag, Aachen",
  Year=1998,
  Pages="136--147",
  Note="Report version: Hildesheimer Informatik-Bericht 4/98",
}

@TechReport{FiGR98b,
  Author="Thomas Firley and Thomas Gehrke and Arend Rensink",
  Title="Spezifikation eines {RPC}-{S}peichers mit der {S}prache {ProFun}",
  Institution="University of Hildesheim", 
  Type="Hildesheimer Informatik-Bericht",
  Number="4/98",
  Month=Jun,
  Year=1998,
}

@InProceedings{Gehr+98a,
  Author="Thomas Gehrke and Michaela Huhn and Peter Niebert
    and Arend Rensink and Heike Wehrheim",
  Title="A Process Algebra Semantics for Message Sequence Charts
    Including Conditions",
  Editor="H. K{\"o}nig and P. Langend{\"o}rfer",
  Booktitle="{F}ormale {B}eschreibungstechniken f{\"u}r verteilte {S}ysteme",
  Publisher="Shaker Verlag, Aachen",
  Year=1998,
  Pages="185--196"}

@InProceedings{Gehr+98b,
  Author="Thomas Gehrke and Michaela Huhn
    and Arend Rensink and Heike Wehrheim",
  Title="An Algebraic Semantics for Message Sequence Chart Documents",
  Key="FORTE", 
  Editor="S. Budkowski and A. Cavalli and E. Najm",
  Booktitle="Formal Description Techniques",
  Publisher="Chapman-Hall", Year=1998,
  Note="Full report version: Hildesheimer Informatik-Bericht 5/98",
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/Forte98.ps"}

@TechReport{Gehr+98c,
  Author="Thomas Gehrke and Michaela Huhn
    and Arend Rensink and Heike Wehrheim",
  Title="An Algebraic Semantics for Message Sequence Chart Documents",
  Institution="University of Hildesheim",
  Type="Hildesheimer Informatik-Bericht", Number="5/98", Month=May, Year=1998,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB98-5.ps"}

@InProceedings{GeRe97a,
  Author="Thomas Gehrke and Arend Rensink",
  Title="Process Creation and Full Sequential Composition in a
    Name-Passing Calculus",
  BookTitle="Expressiveness in Concurrency",
  Editor="C. Palamidessi and J. Parrow",
  volume =       "7",
  series =       "Electronic Notes in Theoretical Computer Science",
  publisher =    "Elsevier Science Publishers",
  Year=1997,
  PostScript="http://www.elsevier.nl/locate/entcs/",
  Note="Corrected version in Hildesheimer Informatik-Bericht 97/7,
    University of Hildesheim"}

@TechReport{GeRe97b,
  Author="Thomas Gehrke and Arend Rensink",
  Title="Process Creation and Full Sequential Composition in a
    Name-Passing Calculus",
  Type="Hildesheimer Informatik-Bericht", Number="97/7",
  Institution="University of Hildesheim", Month=May, Year=1997,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB97-7.ps"}

@TechReport{GeRe99,
  Author="Thomas Gehrke and Arend Rensink",
  Title="A Mobile Calculus with Data",
  Type="Technical Report", Number="99--04",
  Institution="Technical University of Braunschweig, Institute for Software",
  Month=Oct, Year=1999,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/BS-TR-99-04.ps"}

@Misc{GlRe01,
Author="Maurice Glandrup and Arend Rensink",
  Title="Formal Foundations for Reasoning about Composition",
  Howpublished="Position paper at the OOPSLA 2001 Advanced Separation of Concerns
                  Workshop",
  Year=2001,
  HTML="http://www.cs.ubc.ca/~kdvolder/Workshops/OOPSLA2001/ASoC.html",
  PDF="http://wwwhome.cs.utwente.nl/\~{}glandrup/workshoppublications/OOPSLA01ASoC.glandruprensink.pdf"}

@InProceedings{GoGR94,
  Author="Ursula Goltz and Roberto Gorrieri and Arend Rensink",
  Note="Full report version: Hildesheimer Informatik-Bericht 17/92,
        Institut f{\"u}r Informatik, University of Hildesheim, Nov.\ 1992",
  Pages="385--404",
  Title="On Syntactic and Semantic Action Refinement",
  Booktitle="Theoretical Aspects of Computer Software",
  Editor="M. Hagiya and J. C. Mitchell",
  Month=Apr,
  Volume=789,
  Year=1994,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/TACS94.ps"}

@Article{GoGR96,
  Author="Ursula Goltz and Roberto Gorrieri and Arend Rensink",
  Title="Comparing Syntactic and Semantic Action Refinement",
  Journal="Information and Computation",  Volume=125,
  Number=2,
  Month=Mar,
  Year=1996,
  Pages="118--143",
  URL="http://www.idealibrary.com/links/artid/inco.1996.0026"}

@Article{GoRe94,
  Author="Ursula Goltz and Arend Rensink",
  Journal=TCS,
  Pages="169--179",
  Title="Finite {Petri} Nets as Models for Recursive Causal Behaviour",
  Volume=124,
  Year=1994,
  URL="http://www.elsevier.nl/gej-ng/10/41/16/50/17/23/abstract.html"}

@Incollection{GoRe01,
  Author="Roberto Gorrieri and Arend Rensink",
  Title="Action Refinement",
  Booktitle="Handbook of Process Algebra",
  Editor="J. A. Bergstra and A. Ponse and S. A. Smolka",
  Year=2001, Publisher="Elsevier",
  Chapter=16, Pages="1047--1147"}

@Misc{GROOVE,
  Author="Arend Rensink",
  Title="{GROOVE}: A Graph Transformation Tool Set for the Simulation and Analysis
     of Graph Grammars",
  Howpublished="Available at \href{http://www.cs.utwente.nl/~groove}{\texttt{http://www.cs.utwente.nl/\~{}groove}}",
  URL="http://www.cs.utwente.nl/\~{}groove",
  Year=2003,
}

@InProceedings{Havinga+2006,
  Title="An Abstract Metamodel for Aspect Languages",
  Author="Wilke Havinga and Tom Staijen and Arend Rensink and Lodewijk Bergmans and Klaas van den
                  Berg",
  Booktitle="Open and Dynamic Aspect Languages (Satellite workshop of AOSD)",
  Year=2006,
}

@Proceedings{HeckelKoeRen2005,
  Editor="Reiko Heckel and Barbara K{\"o}nig and Arend Rensink",
  Title="Graph Transformation for Verification and Concurrency",
  BookTitle="Graph Transformation for Verification and Concurrency",
  Publisher="Department of Computer Science, University of Twente",
  Series="CTIT Technical Report TR--CTIT--05--34",
  Month=Aug, 
  Year=2005,
  Note="Workshop proceedings",
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.ub.utwente.nl/webdocs/ctit/1/0000013a.pdf",
}

@Proceedings{JaRe02,
  Editor="Bart Jacobs and Arend Rensink",
  Title="Formal Methods for Open Object-Based Distributed Systems {V}",
  Publisher="Kluwer Academic Publishers", Year=2002,
}

@InProceedings{Jone+04,
  Author="Val Jones and Arend Rensink and Theo Ruys and Ed Brinksma and Aart
                  van Halteren", 
  Title="A formal {MDA} approach for mobile health systems",
  Booktitle="Second European Workshop on Model Driven Architecture (MDA)
        with an Emphasis on Methodologies and Transformations",
  Address="University of Kent at Canterbury",
  Month=Sep,
  Year=2004,
}

@InProceedings{JonesRenBri05,
  Author="Val Jones and Arend Rensink and Ed Brinksma", 
  Title="Modelling mobile health systems: an application of
      augmented {MDA} for the extended healthcare enterprise", 
  Booktitle="Proc. Ninth IEEE International EDOC Enterprise
      Computing Conference (EDOC)", 
  Pages="58--69",
  Year=2005,
  Publisher="IEEE Computer Society",
}

@TechReport{KastenbergKleRen2006a,
  Author="Harmen Kastenberg and Anneke Kleppe and Arend Rensink",
  Title="Engineering Object-Oriented Semantics using Graph Transformations",
  Institution="Department of Computer Science, University of Twente",
  Type="CTIT Technical Report",
  Number="TR-CTIT-06-12",
  Month=Mar,
  Year=2006,
    PDF="http://www.cs.utwente.nl/\~{}rensink/papers/taal.pdf",
}

@InProceedings{KastenbergRen2006,
  Author="Harmen Kastenberg and Arend Rensink",
  Title="Model Checking Dynamic States in {GROOVE}",
  Booktitle="Model Checking Software (SPIN)",
  Editor="A. Valmari",
  Series="Lecture Notes in Computer Science",
  Volume=3925,
  Pages="299--305",
  Publisher="Springer-Verlag",
  Year=2006,
    PDF="http://www.cs.utwente.nl/\~{}rensink/papers/spin2006.pdf",
}

@InProceedings{KastenbergKleRen2006b,
  Author="Harmen Kastenberg and Anneke Kleppe and Arend Rensink",
  Title="Defining Object-Oriented Execution Semantics Using Graph Transformations",
  Booktitle="Formal Methods for Open Object-Based Distributed Systems (FMOODS)",
  Editor="R. Gorrieri and H. Wehrheim",
  Series="Lecture Notes in Computer Science",
  Volume=4037,
  Pages="186--201",
  Publisher="Springer-Verlag",
  Year=2006,
    PDF="http://www.cs.utwente.nl/\~{}rensink/papers/fmoods2006.pdf",
}

@InProceedings{ReGo97a,
  Author="Arend Rensink and Roberto Gorrieri",
  Title="Action Refinement as an Implementation Relation", 
  Booktitle="Theory and Practice of Software Development (TAPSOFT)",
  Editor="M. Bidoit and M. Dauchet",
  Year=1997,
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=1214,
  Pages="772--786",
  Note="Improved report version: Hildesheimer Informatik-Bericht 9/98,
    University of Hildesheim",
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/TAPSOFT97.ps",
}

@InProceedings{ReGo97b,
  Author="Arend Rensink and Roberto Gorrieri",
  Title="Action Refinement for Vertical Implementation",
  Editor="A. Rennoch",
  Booktitle="{F}ormale {B}eschreibungstechniken f{\"u}r verteilte {S}ysteme",
  Series="GMD-Studien", Number=315,
  Publisher="GMD", Month=Jun, Year=1997, Pages="69--78",
  Note="Improved report version: Hildesheimer Informatik-Bericht 9/98,
    University of Hildesheim",
}

@TechReport{ReGo98,
  Author="Arend Rensink and Roberto Gorrieri",
  Title="Vertical Bisimulation",
  Type="Hildesheimer Informatik-Bericht", Number="9/98",
  Institution="University of Hildesheim", Month=Jun, Year=1998,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB98-9.ps",
}

@Article{ReGo01,
  Author="Arend Rensink and Roberto Gorrieri",
  Title="Vertical Implementation",
  Journal="Information and Computation", Volume=170, Pages="95--133", Year=2001,
  Note="Extended version of 
     ``Vertical Bisimulation'' (TAPSOFT '97). Full report version: 
     Hildesheimer Informatik-Bericht 9/98, University of Hildesheim",
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/InfComp00.ps",
}

@TechReport{Rens88,
  Author="Arend Rensink",
  Institution="University of Twente",
  Month=May,
  Number="INF--88--13",
  Title="On the Semantics of Non-Atomic Actions",
  Type="Memorandum",
  Year=1988,
}

@TechReport{Rens89,
  Author="Arend Rensink",
  Institution="University of Twente",
  Month=Dec,
  Number="89--65",
  Title="Elementary Structures of Non-Atomic Events",
  Type="Memoranda Informatica",
  Year=1989,
}

@TechReport{Rens90,
  Author="Arend Rensink",
  Institution="University of Twente",
  Month=Oct,
  Number="90--63",
  Title="Non-Atomic Events and Event Hierarchies",
  Type="Memoranda Informatica",
  Year=1990}

@TechReport{Rens90b,
  Author="Arend Rensink",
  Institution="University of Twente",
  Month=Dec,
  Number="90--71",
  Title="Selection Structures",
  Type="Memoranda Informatica",
  Year=1990}

@TechReport{Rens91,
  Author="Arend Rensink",
  Institution="University of Twente",
  Month=Apr,
  Number="91--24",
  Title="Pattern Sets",
  Type="Memoranda Informatica",
  Year=1991}

@InProceedings{Rens92,
  Author="Arend Rensink",
  Pages="269--285",
  Title="Posets for Configurations!",
  Booktitle="Concur '92",
  Editor="W. R. Cleaveland",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=630,
  Year=1992,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/Concur92.ps",
}

@PhDthesis{Rens93,
  Author="Arend Rensink",
  Address="Enschede, Netherlands",
  Month=aug,
  School="University of Twente",
  Title="Models and Methods for Action Refinement",
  Year=1993,
}

@Article{Rens93b,
  Author="Arend Rensink",
  Journal="Bull.\ Eur.\ Ass.\ Theoret.\ Comput.\ Sci.",
  Month=Oct,
  Note="Also available as Hildesheimer Informatik-Bericht 10/93, Institut f{\"u}r Informatik, University of Hildesheim",
  Pages="228--235",
  Title="Order Isomorphism Does Not Preserve Global Event Independence",
  Volume=51,
  Year=1993, 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB93-10.ps",
}

@InProceedings{Rens94,
  Author="Arend Rensink",
  Pages="227-246",
  Title="Methodological Aspects of Action Refinement", 
  Booktitle="Programming Concepts, Methods and Calculi",
  Editor="E.-R. Olderog",
  Organization="IFIP",
  Series="IFIP Transactions",
  Volume="A--56",
  Year=1994,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/PROCOMET94.ps",
}

@InProceedings{Rens94b,
  Author="Arend Rensink",
  Pages="149--169",
  Title="Extraordinals: An Equational Theory of Posets",
  Booktitle="Combining Structures, Logics and Theories",
  Editor="M. de Rijke",
  Month=Aug,
  Note="Workshop of the European Summer School on Logic, Language and Information",
  Publisher="Copenhagen Business School",
  Year=1994,
}

@TechReport{Rens94c,
  Author="Arend Rensink",
  Institution="Institut f{\"u}r Informatik, University of Hildesheim",
  Month=Nov,
  Number="30/94",
  Title="Deterministic Pomsets",
  Type="Hildesheimer Informatik-Berichte",
  Year=1994, 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB94-30.ps"}

@InProceedings{Rens95,
  Author="Arend Rensink",
  Pages="160--174",
  Title="A Complete Theory of Deterministic Event Structures", 
  Booktitle="Concurrency Theory (CONCUR)",
  Editor="I. Lee and S. A. Smolka",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=962,
  Year=1995,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/Concur95-de.ps"}

@InProceedings{Rens95b,
  Author="Arend Rensink",
  Pages="294--309",
  Title="An Event-Based {SOS} for a Language with Refinement",
  Booktitle="Structures in Concurrency Theory",
  Editor="J. Desel",
  Publisher="Springer-Verlag",
  Series="Workshops in Computing",
  Year=1995,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/STRICT95.ps",
}

@TechReport{Rens95c,
  Author="Arend Rensink",
  Institution="Institut f{\"u}r Informatik, University of Hildesheim",
  Month=Sep,
  Note="Appeared in CAAP '96",
  Number="29/95",
  Title="Denotational, Causal, and Operational Determinism in Event Structures",
  Type="Hildesheimer Informatik-Bericht",
  Year=1995, 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB95-29.ps",
}

@TechReport{Rens95d,
  Author="Arend Rensink",
  Institution="Institut f{\"u}r Informatik, University of Hildesheim",
  Month=Dec,
  Number="39/95",
  Title="Causal Traces",
  Type="Hildesheimer Informatik-Bericht",
  Year=1995, 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/HIB95-39.ps",
}

@InProceedings{Rens96a,
  Author="Arend Rensink",
  Title="Denotational, Causal, and Operational Determinism in Event Structures",
  Editor="H. Kirchner",
  Booktitle="Trees in Algebra and Programming (CAAP)",
  Series="Lecture Notes in Computer Science",
  Volume=1059,
  Publisher="Springer-Verlag",
  Year=1996,
  Note="Full report version: HIB 29/95, Institut f{\"u}r Informatik, University
                  of Hildesheim", 
  Pages="272--286", 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/CAAP96.ps",
}

@Article{Rens96b,
  Author="Arend Rensink",
  Title="Algebra and Theory of Order-Deterministic Pomsets",
  Journal="Notre Dame Journal of Formal Logic", Volume=37, Number=2, 
  Year=1996, Pages="283--320",
  URL="http://www.nd.edu/\~{}ndjfl/recent.forthcoming/Spec.Issue/rensink.html",
}

@InProceedings{Rens97a,
  Author="Arend Rensink",
  Title="A Typed Functional Calculus with State",
  Editor="M. M{\"u}llh{\"a}user",
  Booktitle="Special Issues in Object-Oriented Programming",
  Month=Mar, Year=1997, Publisher="dpunkt.verlag",
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/PTCOOP96.ps",
}

@InProceedings{Rens97b,
  Author="Arend Rensink",
  Title="Bisimilarity of Open Terms",
  BookTitle="Expressiveness in Concurrency",
  Editor="C. Palamidessi and J. Parrow",
  volume =       "7",
  series =       "Electronic Notes in Theoretical Computer Science",
  publisher =    "Elsevier Science Publishers",
  Year=1997,
  URL="http://www.elsevier.nl/locate/entcs/",
  Note="Full report version: Hildesheimer Informatik-Bericht 5/97,
    University of Hildesheim, May 1997",
}

@Article{Rens00a,
  Author="Arend Rensink",
  Title="Bisimilarity of Open Terms",
  Journal="Information and Computation", Volume=156, Number="1/2",
  Month=Jan, Year=2000, Pages="345-385",
  Note="EXPRESS '97 special issue; 
    report version: Hildesheimer Informatik-Bericht 5/97, University of Hildesheim",
  URL="http://www.idealibrary.com/links/artid/inco.1999.2818",
}

@InProceedings{Rens00b,
  Author="Arend Rensink",
  Title="Action Contraction", 
  Booktitle="Concurrency Theory (CONCUR)",
  Editor="C. Palamidessi",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=1877,
  Year=2000, Pages="290--304", 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/Concur00.ps",
  Note="Report version: TR--CTIT--00--13, Faculty of Informatics, University of
                  Twente",
}

@TechReport{Rens00c,
  Author="Arend Rensink",
  Title="{YOO} ({W}hy {O}bject-{O}rientation)",
  Institution="Faculty of Informatics, University of Twente",
  Type="CTIT Technical Report", Number="TR-CTIT-00-12",
  URL="http://trese.cs.utwente.nl/Workshops/yoo/",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/yoo.pdf",
  Postscript="http://trese.cs.utwente.nl/Workshops/yoo/report.zip",
  Month=Sep, Year=2000, Note="Report of a satellite workshop of Concur 2000",
}

@TechReport{Rens00d,
  Author="Arend Rensink",
  Title="Action Contraction Using Coupled Simulation", 
  Institution="Faculty of Informatics, University of Twente",
  Type="CTIT Technical Report", Number="TR--CTIT--00--13",
  URL="http://www.ctit.utwente.nl",
  Postscript="http://www.cs.utwente.nl/\~{}rensink/papers/CTIT-00-13.ps",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/CTIT-00-13.pdf",
  Month=Oct, Year=2000,
  Note="A conference version of this report was presented at Concur 2000"}

@InBook{Rens01a,
  Author="Arend Rensink",
  Title="Objectori{\"e}ntatie", 
  Publisher="Open Universiteit Nederland, Heerlen",
  Volume=1, Chapter=2, 
  Year=2001, Pages="73--116",
  ISBN="90 358 1955 1",
  Note="Unit in a course on object-oriented programming (in dutch)"}

@InBook{Rens01b,
  Author="Arend Rensink",
  Title="Representatie van Objecten en Primitieve Waarden", 
  Publisher="Open Universiteit Nederland, Heerlen",
  Volume=2, Chapter=7, 
  Year=2001, Pages="71--138",
  ISBN="90 358 1956 X",
  Note="Unit in a course on object-oriented programming (in dutch)"}

@InBook{Rens01c,
  Author="Arend Rensink",
  Title="Syntaxis van Java", 
  Publisher="Open Universiteit Nederland, Heerlen",
  Volume=3, Chapter="Bijlage 1", 
  Year=2001, Pages="7--24",
  ISBN="90 358 1957 8",
  Note="Appendix of a course on object-oriented programming (in dutch)",
}

@InBook{Rens01d,
  Author="Arend Rensink",
  Title="Klasse- en Objectdiagrammen", 
  Publisher="Open Universiteit Nederland, Heerlen",
  Volume=3, Chapter="Bijlage 2", 
  Year=2001, Pages="25--46",
  ISBN="90 358 1957 8",
  Note="Appendix of a course on object-oriented programming (in dutch)",
}

@InBook{Rens01e,
  Author="Arend Rensink",
  Title="Verklarende woordenlijst", 
  Publisher="Open Universiteit Nederland, Heerlen",
  Volume=3, Chapter="Bijlage 6", 
  Year=2001, Pages="91--97",
  ISBN="90 358 1957 8",
  Note="Appendix of a course on object-oriented programming (in dutch)",
}

@Article{Rens02,
  Author="Arend Rensink",
  Title="Visualisatie van het Objectgeori{\"e}nteerde Paragdigma", 
  Journal="TINFON --- Tijdschrift voor Informatica-Onderwijs",
  Volume=11, Number=2, 
  Year=2002, 
  Pages="80--83",
  Note="NIOC 2002 special issue (in dutch)",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/tinfon02.pdf",
}

@InProceedings{Rens03a,
  Author="Arend Rensink",
  Title="Towards Model Checking Graph Grammars",
  Booktitle="Workshop on Automated
                  Verification of Critical Systems (AVoCS)",
  Editor="M. Leuschel and S. Gruner and S. Lo Presti",
  Publisher="University of Southampton",
  Series="Technical Report DSSE--TR--2003--2",
  Year=2003,
  Pages="150--160",
  pdf="http://www.cs.utwente.nl/\~{}rensink/papers/mc-gg.pdf",
}

@TechReport{Rens03b,
  Author="Arend Rensink",
  Title="A Logic of Local Graph Shapes",
  Institution="Faculty of Informatics, University of Twente",
  Type="CTIT Technical Report",
  Number="TR--CTIT--03--35",
  Month=Aug, Year=2003,
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/lsl.pdf",
}

@Proceedings{Rens03c,
  Editor="Arend Rensink",
  Title="Model Driven Architecture: Foundations and Applications",
  BookTitle="Model Driven Architecture: Foundations and Applications",
  Publisher="Faculty of Informatics, University of Twente",
  Series="CTIT Technical Report TR--CTIT--03--27",
  Month=Jun, Year=2003,
  Note="Workshop proceedings",
  URL="http://www.ctit.utwente.nl",
  PDF="http://trese.cs.utwente.nl/mdafa2003/proceedings.pdf",
}

@InProceedings{Rens03d,
    Author="Arend Rensink",
    Title="The {GROOVE} Simulator: A Tool for State Space Generation",
    Booktitle="Applications of Graph Transformations with Industrial Relevance
                  (AGTIVE)",
    Editor="J. Pfalz and M. Nagl and B. B{\"o}hlen",
    Series="Lecture Notes in Computer Science",
    Volume="3062",
    Publisher="Springer-Verlag",
    Year=2004,
    Pages="479--485",
    PDF="http://www.cs.utwente.nl/\~{}rensink/papers/agtive-demo.pdf",
}

@InProceedings{Rens03e,
    Author="Arend Rensink",
    Title="AGTIVE'03: Summary from the Outside In",
    Booktitle="Applications of Graph Transformations with Industrial Relevance
                  (AGTIVE)",
    Editor="J. Pfalz and M. Nagl and B. B{\"o}hlen",
    Series="Lecture Notes in Computer Science",
    Volume="3062",
    Publisher="Springer-Verlag",
    Year=2004,
    Pages="486--488",
}

@InProceedings{Rens04a,
  Author="Arend Rensink",
  Title="Canonical Graph Shapes",
  Booktitle="Programming Languages and Systems ---
      European Symposium on Programming (ESOP)",
  Series="Lecture Notes in Computer Science",
  Editor="D. A. Schmidt",
  Volume=2986,
  Pages="401--415",
  Publisher="Springer-Verlag",
  Year=2004,
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/esop2004.pdf",
  URL="http://www.springer.de/comp/lncs/index.html",
}

@InProceedings{Rens04b,
  Author="Arend Rensink",
  Title="State Space Abstraction using Shape Graphs",
  Booktitle="Automatic Verification of Infinite-State Systems (AVIS)",
  Series="Electronic Notes in Theoretical Computer Science",
  Publisher="Elsevier",
  Year=2004,
  Note="To appear",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/avis2004.pdf",
}

@InProceedings{Rens04c,
    Author="Arend Rensink",
    Title="Representing First-Order Logic using Graphs",
    Booktitle="International Conference on Graph Transformations (ICGT)",
    editor    = {H. Ehrig and G. Engels and F. Parisi-Presicce
                  and G. Rozenberg},
    Series="Lecture Notes in Computer Science",
    volume = 3256,
    Publisher="Springer-Verlag",
    Year=2004,
    Pages="319-335",
    Pdf="http://www.cs.utwente.nl/\~{}rensink/papers/fol.pdf", 
}

@InProceedings{Rens04d,
    Author="Arend Rensink",
    Title="Time and Space Issues in the Generation of Graph Transition Systems",
    Booktitle="International Workshop on Graph-Based Tools (GraBaTs)",
    series = "Electronic Notes in Theoretical Computer Science",
    publisher = "Elsevier Science Publishers",
    Year=2005,
    Volume = 127,
    Pages="127--139",
    Pdf="http://www.cs.utwente.nl/\~{}rensink/papers/grabats2004.pdf", 
}

@Article{Rens05a,
  Author="Arend Rensink",
  Title="The Joys of Graph Transformation",
  Journal="Nieuwsbrief van de Nederlandse Vereniging voor Theoretische
                  Informatica",
  Volume=9,
  Year=2005,
  Pdf="http://www.cs.utwente.nl/\~{}rensink/papers/nvti2005.pdf", 
}

@InProceedings{Rens05b,
  author =     {Arend Rensink},
  title =      {Subjects, Models, Languages, Transformations},
  booktitle =  {Language Engineering for Model-Driven Software Development},
  year =       {2005},
  editor =     {Jean Bezivin and Reiko Heckel},
  number =     {04101},
  series =     {Dagstuhl Seminar Proceedings},
  publisher =  {Internationales Begegnungs- und Forschungszentrum (IBFI),
                Schloss Dagstuhl, Germany},
  URL =     {http://drops.dagstuhl.de/opus/volltexte/2005/24},
}

@InProceedings{RenSchVar04,
    Author="Arend Rensink and {\'A}kos Schmidt and D{\'a}niel Varr{\'o}",
    Title="Model Checking Graph Transformations: A Comparison of Two Approaches",
    Booktitle="International Conference on Graph Transformations (ICGT)",
    editor= {H. Ehrig and G. Engels and F. Parisi-Presicce
                  and G. Rozenberg},
    Series="Lecture Notes in Computer Science",
    Publisher="Springer-Verlag",
    Year=2004,
    volume = 3256,
    pages="226--241",
    PDF="http://www.cs.utwente.nl/\~{}rensink/papers/mcgt.pdf",
}

@InProceedings{RensinkNed2006,
    Author="Arend Rensink and Ronald Nederpel",
    Title="Graph Transformation Semantics for a {QVT} Language",
    Booktitle="International Workshop on Graph Transformation and Visual Modeling Techniques",
    Series="Electronic Notes in Theoretical Computer Science",
    Note="To appear",
    Year=2006,
    PDF="http://www.cs.utwente.nl/\~{}rensink/papers/gtvmt2006.pdf",
}

@techreport{RensinkVog2005,
  author = {Arend Rensink and Walter Vogler},
  title = {Fair Testing},
  URL = {http://eprints.eemcs.utwente.nl/1623/},
  month = Dec,
  type = {CTIT Technical Report},
  Number="TR--CTIT--05--64",
  publisher = {Centre for Telematics and Information Technology, University of Twente},
  institution = {Department of Computer Science, University of Twente},
  year = {2005},
  issn = {1381-3625},
  keywords = {Process Algebra, Coarsest Congruence, Fairness, Testing},
  PDF="http://www.ub.utwente.nl/webdocs/ctit/1/0000015c.pdf",
  Note="Submitted for publication",
}

@InProceedings{ReWe94,
  Author="Arend Rensink and Heike Wehrheim",
  Pages="226--241",
  Title="Weak Sequential Composition in Process Algebras", 
  Booktitle="Concurrency Theory (CONCUR)",
  Editor="B. Jonsson and J. Parrow",
  Publisher="Springer-Verlag",
  Series="Lecture Notes in Computer Science",
  Volume=836,
  Year=1994,
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/Concur94.ps",
}

@InProceedings{ReWe97,
  Author="Arend Rensink and Heike Wehrheim",
  Title="Dependency-Based Action Refinement", 
  BOOKTITLE= {Mathematical Foundations of Computer Science (MFCS)},
  Editor="I. Pr{\'\i}vara and P. Ruzicka",
  SERIES   = "Lecture Notes in Computer Science", Volume=1295,
  Publisher="Springer-Verlag",
  YEAR     = {1997},
  Pages="468--477", 
  PostScript="http://www.cs.utwente.nl/\~{}rensink/papers/MFCS97.ps",
}

@TechReport{ReWe99,
  Author="Arend Rensink and Heike Wehrheim",
  Title="Process Algebra with Action Dependencies",
  Institution="University of Twente",
  Type="CTIT Technical Report", Number="99--02", Year=1999,
  URL="http://www.ctit.utwente.nl",
  PDF="http://www.ub.utwente.nl/webdocs/ctit/1/00000010.pdf",
  Note="Appeared in Acta Informatica, vol.\ 38",
}

@Article{ReWe01,
  Author="Arend Rensink and Heike Wehrheim",
  Title="Process Algebra with Action Dependencies",
  Journal="Acta Informatica", Volume=38,
  Year=2001, Pages="155-234",
  Note="Report version: TR--CTIT--99--02, Faculty of Informatics, University of
                  Twente",
}

@InProceedings{TaentzerRen2005,
  Author="Gabriele Taentzer and Arend Rensink",
  Title="Ensuring Structural Constraints in Graph-Based Models with Type Inheritance",
  Booktitle="Fundamental Approaches to Software Engineering (FASE)",
  Series="Lecture Notes in Computer Science",
  Publisher="Springer-Verlag",
  Year=2005,
  editor="M. Cerioli",
  volume=3442,
  Pages="64--79",
  PDF="http://www.cs.utwente.nl/\~{}rensink/papers/fase2005.pdf",
}