• 1447 Citations
1988 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

1995

A Theory of Deterministic Event Structures

Lee, I. (ed.), Rensink, A. & Smolka, S. A. (ed.), 1995, p. 160-174. 15 p.

Research output: Contribution to conferencePaper

File
3 Citations (Scopus)
42 Downloads (Pure)

CALIBAN - Esprit Basic Research WG 6067

Best, E., Devillers, R., Pelz, E., Rensink, A., Silva, M. & Teruel, E., 1995, Structures in Concurrency Theory. Desel, J. (ed.). Berlin: Springer, p. 2-31 30 p. (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Causal Traces

Rensink, A., Dec 1995, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Berichte; no. 39/95)

Research output: Book/ReportReportOther research output

File
19 Downloads (Pure)

Denotational, Causal, and Operational Determinism in Event Structures

Rensink, A., Sep 1995, Hildesheim: Institut für Informatik, University of Hildesheim. 24 p. (Hildesheimer Informatik-Berichte; no. 29/95)

Research output: Book/ReportReportOther research output

File
59 Downloads (Pure)

Fair Testing

Brinksma, H., Rensink, A. & Vogler, W., 8 Feb 1995, CONCUR'95, Concurrency Theory, Lecture Notes in Computer Science 962. Lee, I. & Smolka, S. A. (eds.). p. 313-327 (Lecture notes in computer science; vol. 962).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
61 Citations (Scopus)
11 Downloads (Pure)

Vertical Bisimulation

Rensink, A. & Gorrieri, R., Sep 1995, Hildesheim: Institut für Informatik, University of Hildesheim. 57 p. (Hildesheimer Informatikbericht; no. 9/98)

Research output: Book/ReportReportOther research output

File
22 Downloads (Pure)
1994

Deterministic Pomsets

Rensink, A., Nov 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 42 p. (Hildesheimer Informatik-Bericht; no. 30/94)

Research output: Book/ReportReportOther research output

File
27 Downloads (Pure)

Extraordinals: An Equational Theory of Posets

Rensink, A., 1994, Combining Structures, Logics and Theories. de Rijke, M. (ed.). Copenhagen, Denmark: Copenhagen Business School, p. 149-169 21 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Finite petri nets as models for recursive causal behaviour

Goltz, U. & Rensink, A., 1994, In : Theoretical computer science. 124, 1, p. 169-179 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
4 Citations (Scopus)
55 Downloads (Pure)

Methodological Aspects of Action Refinement

Olderog, E-R. (ed.) & Rensink, A., 1994, p. 227-246. 20 p.

Research output: Contribution to conferencePaper

File
13 Downloads (Pure)

On Syntactic and Semantic Action Refinement

Hagiya, M. (ed.), Goltz, U., Mitchell, J. C. (ed.), Gorrieri, R. & Rensink, A., 1994, p. 385-404. 20 p.

Research output: Contribution to conferencePaper

File
10 Citations (Scopus)
86 Downloads (Pure)

Specification of Systems: Theory in Search of Practice

Brinksma, H., Parrow, J., Rensink, A. & Heymer, S., Sep 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 21 p.

Research output: Book/ReportReportOther research output

Weak Sequential Composition in Process Algebras

Rensink, A. & Wehrheim, H., 1994, CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 226-241 16 p. (Lecture Notes in Computer Science; vol. 836).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
13 Citations (Scopus)
50 Downloads (Pure)
1993

Models and Methods for Action Refinement

Rensink, A., 1993, Enschede: Universiteit Twente. 319 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Order isomorphism does not preserve global event independence

Rensink, A., Sep 1993, Hildesheim: Institut für Informatik, University of Hildesheim. 12 p. (Hildesheimer Informatik-Berichte; no. 10/93)

Research output: Book/ReportReportOther research output

File
17 Downloads (Pure)

Order isomorphism does not preserve global event independence

Rensink, A., Oct 1993, In : Bulletin of the European Association for Theoretical Computer Science. 51, p. 228-235 8 p.

Research output: Contribution to journalArticleAcademic

1992

Abstaction and Refinement in Configuration Structures

Constantini, R. & Rensink, A., 1992, In : Memoranda informatica. 92, 17, p. - 31 p.

Research output: Contribution to journalArticleProfessional

Abstraction and Refinement in Configuration Structures

Costantini, R. & Rensink, A., 1992, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 38 p. (Hildesheimer Informatik-Bericht; no. 18/92)

Research output: Book/ReportReportOther research output

File
21 Downloads (Pure)

Finite Petri Nets as Models for recursive Causal Behaviour

Goltz, U. & Rensink, A., 1992, In : Memoranda informatica. 0, 604, p. - 17 p.

Research output: Contribution to journalArticleProfessional

On Syntactic and Semantic Action Refinement

Goltz, U., Gorrieri, R. & Rensink, A., 1992, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Bericht; no. 17/92)

Research output: Book/ReportReportOther research output

File
52 Downloads (Pure)

On Syntactic and Semantic Notions of Refinement

Goltz, U., Gorrierri, R. & Rensink, A., 1992, In : Hildesheimer Informatik-Berichte. 92, 18, p. - 31 p.

Research output: Contribution to journalArticleProfessional

Posets for Configurations

Rensink, A., 1992, CONCUR '92, Lecture Notes in Computer Science 630. Springer, p. 269-285

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

16 Citations (Scopus)

Posets for Configurations!

Rensink, A. & Cleaveland, W. R. (ed.), 1992, p. 269-285. 17 p.

Research output: Contribution to conferencePaper

File
13 Downloads (Pure)
1991

Finite Petri nets as models for recursive causal behaviour.

Goltz, U. & Rensink, A., 1991, St. Augustin: Geen opgaven. 17 p.

Research output: Book/ReportReportProfessional

Pattern sets

Rensink, A., 1991, In : Memoranda informatica. 1, 24, p. - 17 p.

Research output: Contribution to journalArticleProfessional

Pattern Sets

Rensink, A., 1991, Enschede: University of Twente, Department of Computer Science. 22 p.

Research output: Book/ReportReportOther research output

1990

Elementary Structures of Non-Atomic Events

Rensink, A., 1990, In : Memoranda informatica. 89, 65, p. - 24 p.

Research output: Contribution to journalArticleProfessional

Non-Atomic Events and Event Hierarachies

Rensink, A., 1990, In : Memoranda informatica. 90, 63, p. - 20 p.

Research output: Contribution to journalArticleProfessional

Non-Atomic Events and Event Hierarchies

Rensink, A., 1990, Enschede: University of Twente, Department of Computer Science. 20 p.

Research output: Book/ReportReportOther research output

Selection Structures

Rensink, A., 1990, Enschede: University of Twente, Department of Computer Science. 32 p.

Research output: Book/ReportReportOther research output

Selection Structures

Rensink, A., 1990, In : Memoranda informatica. 90, 71, p. - 32 p.

Research output: Contribution to journalArticleProfessional

1989

Elementary Structures of Non-Atomic Events

Rensink, A., 1989, Enschede: University of Twente, Department of Computer Science. 25 p.

Research output: Book/ReportReportOther research output

1988

On the Semantics of Non-Atomic Events

Rensink, A., 1988, Enschede: University of Twente, Department of Computer Science. 30 p.

Research output: Book/ReportReportOther research output