Theoretical Computer Science

Research Output 1993 2019

Filter
Chapter
2019

Confluence of the Chinese Monoid

Endrullis, J. & Klop, J. W., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

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

Confluence
Monoid
Monoids
Diagram
Rewriting

Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size

Fokkink, W. & Samsom, G., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 3-13 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

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

Message Complexity
Ring
Computing
Monte Carlo Algorithm
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