• 1360 Citations
1988 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2019

1997
4 Citations (Scopus)
4 Downloads (Pure)

Dependency-Based Action Refinement

Rensink, A. & Wehrheim, H., 1997, p. 468-477. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Semantics
Algebra
2 Citations (Scopus)
50 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Gehrke, T. & Rensink, A., May 1997, Hildesheim: Institut für Informatik, University of Hildesheim. 27 p.

Research output: Book/ReportReportOther research output

File
46 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Palamidessi, C. (ed.), Gehrke, T., Rensink, A. & Parrow, J. (ed.), 1997, p. 141-160. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1996
5 Citations (Scopus)
42 Downloads (Pure)

Algebra and Theory of Order-Deterministic Pomsets

Rensink, A., 1996, In : Notre Dame Journal of Formal Logic. 37, 2, p. 283-320 38 p., 10.1305/ndjfl/1040046090.

Research output: Contribution to journalArticleAcademicpeer-review

File
19 Downloads (Pure)

Applications of Fair Testing

Gotzhein, R. (ed.), Brinksma, H., Bredereke, J. (ed.), Rensink, A. & Vogler, W., 1996, p. 145-160. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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

Comparing Syntactic and Semantics Action Refinement

Goltz, U., Gorrieri, R. & Rensink, A., Mar 1996, In : Information and computation. 125, 2, p. 118-143 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Syntactics
Refinement
Semantics
Parallel Composition
Term
1 Citation (Scopus)
34 Downloads (Pure)

Denotational, Causal, and Operational Determinism in Event Structures

Rensink, A. & Kirchner, H. (ed.), 1996, p. 272-286. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1995
20 Downloads (Pure)

An Event-Based SOS for a Language with Refinement

Desel, J. (ed.) & Rensink, A., 1995, p. 294-309. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
3 Citations (Scopus)
20 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Event Structures
Summation
Fixpoint
Algebra
Join

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

16 Downloads (Pure)

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
42 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

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
18 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
1994
23 Downloads (Pure)

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

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

4 Citations (Scopus)
32 Downloads (Pure)

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
10 Downloads (Pure)

Methodological Aspects of Action Refinement

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

Research output: Contribution to conferencePaperAcademicpeer-review

File
10 Citations (Scopus)
63 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 conferencePaperAcademicpeer-review

File

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

13 Citations (Scopus)
32 Downloads (Pure)

Weak Sequential Composition in Process Algebras

Rensink, A., Jonsson, B. (ed.), Parrow, J. (ed.) & Wehrheim, H., 1994, p. 226-241. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1993

Models and Methods for Action Refinement

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

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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

11 Downloads (Pure)

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
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

17 Downloads (Pure)

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

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

38 Downloads (Pure)

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

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

14 Citations (Scopus)

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

10 Downloads (Pure)

Posets for Configurations!

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

Research output: Contribution to conferencePaperAcademicpeer-review

File
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