Theoretical Computer Science

Research Output 1993 2019

Filter
Chapter
2014

A tutorial on interactive markov chains

Arnold, F., Gebler, D., Guck, D. & Hatefi, H., 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer, p. 26-66

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

Computing behavioral rela- tions for probabilistic concurrent systems

Gebler, D., Hashemi, H. & Turrini, A., 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer, p. 117-155

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

On abstraction of probabilistic systems

Dehnert, C., Gebler, D., Volpato, M. & Jansen, D., 2014, tochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer, p. 87-116

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

2013

Assessing trust for determining the reliability of information

Ceolin, D., van Hage, W. R., Schreiber, A. T. & Fokkink, W. J., 2013, Situational Awareness with Systems of Systems. Borth, M., Tretmans, J. & van de Laar, P. (eds.). Springer, p. 209-228

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

Some trends in formal methods applications to railway signaling

Fantechi, A., Fokkink, W. J. & Morzenti, A., 2013, Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley-IEEE, p. 63-84

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

2008

A Service for Reliable Execution of Grid Applications

Krepska, E. L., Kielmann, T., Sirvent, R. & Badia, R. M., 2008, Achievements in European research on Grid systems. Sergei Gorlatch, S. G., Marian Bubak, M. B. & Thrierry Priol, T. P. (eds.). Springer, p. 179-192

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

2007

Barendregt's Lemma

de Vrijer, R. C., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, Geuvers, Capretta & Niqui (eds.). Radboud University Nijmegen, p. 275-284

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

2003

Abstract reduction systems

Bezem, M. & Klop, J. W., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 7-23 (Cambridge Tracts in Theoretical Computer Science; no. 55).

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

Advanced ARS theory

Bezem, M. & Klop, J. W., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 744-789 (Cambridge Tracts in Theoretical Computer Science; no. 55).

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

Equivalence of reduction

van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 301-474

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

Examples of TRSs and special rewriting formats

Klop, J. W. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 60-87

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

First-order term rewriting systems

Klop, J. W. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 24-59

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

Higher-Order Rewriting

van Raamsdonk, F., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 588-667

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

Orthogonality

Klop, J. W., van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 88-148

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

Properties of rewriting: decidability and modularity

Klop, J. W. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 149-180

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

Strategies

van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 475-547

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

2000

From Banach to Milner: Metric semantics for second order communication and concurrency

de Bakker, J. W. & van Breugel, P. C., 2000, Proof, Language, and Interaction, Essays in Honour of Robin Milner. Plotkin, G. D. (ed.). MIT Press, p. 99-132

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic