• 1508 Citations
1988 …2020

Research output per year

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

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

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

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, In : Memoranda informatica. 90, 71, p. - 32 p.

Research output: Contribution to journalArticleProfessional

Selection Structures

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

Research output: Book/ReportReportOther research output

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

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

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

An Event-Based SOS for a Language with Refinement

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

Research output: Contribution to conferencePaper

File
31 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 conferencePaper

File
3 Citations (Scopus)
43 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)
1996

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
5 Citations (Scopus)
65 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 conferencePaper

Open Access
File
29 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
17 Citations (Scopus)
27 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 conferencePaper

File
1 Citation (Scopus)
56 Downloads (Pure)
1997

Action Refinement as an Implementation Relation

Rensink, A., Dauchet, M. (ed.) & Gorrieri, R., 1997, TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997. Proceedings. Bidoit, M. & Dauchet, M. (eds.). Berlin, Heidelberg: Springer, p. 772-786 15 p. (Lecture Notes in Computer Science; vol. 1214).

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

Open Access
File
13 Citations (Scopus)
48 Downloads (Pure)

Action Refinement for Vertical Implementation

Rensink, A. & Gorrieri, R., 1997, Formale Beschreibungstechniken für verteilte Systeme: GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin. Wolisz, A., Schieferdecker, I. & Rennoch, A. (eds.). Sankt Augustin: GMD-Forschungszentrum Informationstechnik GmbH, p. 69-78 10 p. (GMD Studien; vol. 315).

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

A Typed Functional Calculus With State

Rensink, A., 1997, Special Issues in Object-Oriented Programming. Müllhäuser, M. (ed.). Heidelberg, Germany: D.punkt Verlag, p. 558-561 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
20 Downloads (Pure)

Bisimilarity of Open Terms

Rensink, A., Palamidessi, C. (ed.) & Parrow, J. (ed.), 1997, p. 262-285. 20 p.

Research output: Contribution to conferencePaper

File
2 Citations (Scopus)
28 Downloads (Pure)

Dependency-Based Action Refinement

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

Research output: Contribution to conferencePaper

File
4 Citations (Scopus)
10 Downloads (Pure)

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

Gehrke, T. & Rensink, A., 1997, EXPRESS'97: 8-12 September 1997 • Santa Margherita Ligure, Italy. Palamidessi, C. & Parrow, J. (eds.). Amsterdam: Elsevier, p. 141-160 20 p. (Electronic Notes in Theoretical Computer Science; vol. 7).

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

Open Access
File
61 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
2 Citations (Scopus)
69 Downloads (Pure)
1998

An Algebraic Semantics for Message Sequence Chart Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. Budkowski, S., Cavalli, A. R. & Najm, E. (eds.). Parijs, France: Kluwer, p. 3-18 16 p. (IFIP Advances in Information and Communication Technology; vol. 6).

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

Open Access
File
45 Downloads (Pure)

An Algebraic Semantics for Message Sequence Chart Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Hildesheim, Germany: University of Hildesheim. 16 p. (Hildesheimer Informatik-Berichte; no. 5/98)

Research output: Book/ReportReportOther research output

Open Access
File
14 Downloads (Pure)

Spezifikation eines RPC-Speichers mit der Sprache ProFun

Firley, T., Gehrke, T. & Rensink, A., 1998, Formale Beschreibungstechniken für verteilte Systeme: 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. König, H. & Langendörfer, P. (eds.). Aachen, Germany: Shaker Verlag, p. 136-147 12 p.

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

1999

A Mobile Calculus with Data

Gehrke, T. & Rensink, A., 1999, Braunschweig, Germany: Technical University of Braunschweig. 46 p. (Informatik-Bericht; no. 99-04)

Research output: Book/ReportReportProfessional

Open Access
File
17 Downloads (Pure)

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., Feb 1999, Enschede: Universiteit Twente. 59 p. (CTIT technical report series; no. TR-CTIT-99-02)

Research output: Book/ReportReportProfessional

Open Access
File
14 Downloads (Pure)