• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Report
2005

A characterization of regular expressions under bisimulation

Baeten, J. C. M., Corradini, F. & Grabmayer, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0527)

Research output: Book/ReportReportAcademic

Open Access
File
64 Downloads (Pure)

A ground-complete axiomatization of finite state processes in process algebra

Baeten, J. C. M. & Bravetti, M., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0518)

Research output: Book/ReportReportAcademic

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

Core security requirements of DRM systems

Jonker, H. L. & Mauw, S., 2005, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 0524)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)

Detecting strongly connected components in large distributed state spaces

Orzan, S. M. & Pol, van de, J. C., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 21 p. (CWI report SEN-E : software engineering; vol. 0501)

Research output: Book/ReportReportAcademic

Duplication of constants in process algebra

Baeten, J. C. M. & Reniers, M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0532)

Research output: Book/ReportReportAcademic

Open Access
File
57 Downloads (Pure)

Maurer computers with single-thread control

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computer science reports; vol. 0517)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

On compositions and paths for coalgebras

Sokolova, A., 2005, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0526)

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)

Preferential choice and coordination conditions

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 0514)

Research output: Book/ReportReportAcademic

Open Access
File
68 Downloads (Pure)

Process algebra with conditionals in the presence of epsilon

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computer science reports; vol. 0515)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0506)

Research output: Book/ReportReportAcademic

Open Access
File
59 Downloads (Pure)

Reducing right hand sides for termination

Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0519)

Research output: Book/ReportReportAcademic

Open Access
File
8 Citations (Scopus)
63 Downloads (Pure)

Regular expressions in process algebra

Baeten, J. C. M. & Corradini, F., 2005, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 0511)

Research output: Book/ReportReportAcademic

Open Access
File
4 Citations (Scopus)
78 Downloads (Pure)

Simulating Turing machines on Maurer machines

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0528)

Research output: Book/ReportReportAcademic

Open Access
File
86 Downloads (Pure)

Splitting bisimulations and retrospective conditions

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computer science reports; vol. 0503)

Research output: Book/ReportReportAcademic

Open Access
File
49 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2005, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0523)

Research output: Book/ReportReportAcademic

Open Access
File
69 Downloads (Pure)

Strong splitting bisimulation equivalence

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0504)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
73 Downloads (Pure)

Stuttering congruence for $\Chi$

Luttik, B. & Trcka, N., 2005, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0513)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Syntax and semantics of timed Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0509)(DCT rapporten; vol. 2005.000)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Thread algebra with multi-level strategies

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0508)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Timing the untimed : terminating successfully while being conservative

Baeten, J. C. M., Mousavi, M. R. & Reniers, M. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 0521)

Research output: Book/ReportReportAcademic

Open Access
File
1 Citation (Scopus)
78 Downloads (Pure)

Verification of multi-protocol attacks

Cremers, C. J. F., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0510)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

Verifying Chi models of industrial systems with Spin

Trcka, N., 2005, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0512)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)
2006

A comparative study of process algebras for hybrid systems

Khadim, U., 2006, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0623)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2006, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0607)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
69 Downloads (Pure)

A thread algebra with multi-level strategic interleaving (extended version)

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computer science reports; vol. 0628)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

A thread calculus with molecular dynamics

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computer science reports; vol. 0624)

Research output: Book/ReportReportAcademic

Open Access
File
87 Downloads (Pure)

Embedding real-time in stochastic process algebras

Markovski, J. & Vink, de, E. P., 2006, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 0615)

Research output: Book/ReportReportAcademic

Open Access
File
4 Citations (Scopus)
66 Downloads (Pure)

Generalizing Needham-Schroeder-Lowe for multi-party authentication

Cremers, C. J. F. & Mauw, S., 2006, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0604)

Research output: Book/ReportReportAcademic

Open Access
File
170 Downloads (Pure)

Hybrid input-output conformance and test generation

Osch, van, M. P. W. J., 2006, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0630)

Research output: Book/ReportReportAcademic

Open Access
File
22 Citations (Scopus)
58 Downloads (Pure)

Lumping Markov chains with silent steps

Markovski, J. & Trcka, N., 2006, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0613)

Research output: Book/ReportReportAcademic

Open Access
File
9 Citations (Scopus)
60 Downloads (Pure)

Maurer computers for pipelined instruction processing

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0612)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

Jonker, H. L., Krishnan Nair, S. & Torabi Dashti, M., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 28 p. (CWI report. SEN-R : software engineering; vol. 0602)

Research output: Book/ReportReportAcademic

Nuovo DRM Paradiso : formal specification and verification of a DRM protocol

Jonker, H. L., Krishnan Nair, S. & Torabi Dashti, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 29 p. (Computer science reports; vol. 0610)

Research output: Book/ReportReportAcademic

Open Access
File
31 Downloads (Pure)

Parallel processes with implicit computational capital

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 0635)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

Process algebra for dynamic system modeling

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0603)

Research output: Book/ReportReportAcademic

Open Access
File
43 Downloads (Pure)

Pruning state spaces with extended beam search

Torabi Dashti, M. & Wijs, A. J., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 19 p. (CWI report. SEN-R : software engineering; vol. 0610)

Research output: Book/ReportReportAcademic

1 Downloads (Pure)

Realizability criteria for compositional MSC

Mooij, A. J., Romijn, J. M. T. & Wesselink, J. W., 2006, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 0611)

Research output: Book/ReportReportAcademic

Open Access
File
8 Citations (Scopus)
80 Downloads (Pure)

Recursive path ordering for infinite labelled rewrite systems

Koprowski, A. & Zantema, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0617)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
45 Downloads (Pure)

Synchronous cooperation for explicit multi-threading

Bergstra, J. A. & Middelburg, C. A., 2006, Eindhoven: Technische Universiteit Eindhoven. 45 p. (Computer science reports; vol. 0629)

Research output: Book/ReportReportAcademic

Open Access
File
63 Downloads (Pure)

What is algebraic in process theory?

Luttik, B., 2006, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0606)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
65 Downloads (Pure)
2007

A companion to coalgebraic weak bisimulation for action-type systems

Sokolova, A., Vink, de, E. P. & Woracek, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0712)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

A comparison of Java Cards : state-of-affairs 2006

Mostowski, W., Pan, J., Akkiraju, S., Vink, de, E. P., Poll, E. & Hartog, den, J. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 64 p. (Computer science reports; vol. 0706)

Research output: Book/ReportReportAcademic

Open Access
File
81 Downloads (Pure)

Aggregation methods for Markov reward chains with fast and silent transitions

Markovski, J. & Trcka, N., 2007, Eindhoven: Technische Universiteit Eindhoven. 68 p. (Computer science reports; vol. 0708)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)

Certification of proving termination of term rewriting by matrix interpretations

Koprowski, A. & Zantema, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0722)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

Compositionality for Markov reward chains with fast transitions

Markovski, J., Sokolova, A., Trcka, N. & Vink, de, E. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0717)

Research output: Book/ReportReportAcademic

Open Access
File
2 Citations (Scopus)
68 Downloads (Pure)

Distributed strategic interleaving with load balancing

Bergstra, J. A. & Middelburg, C. A., 2007, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0703)

Research output: Book/ReportReportAcademic

Open Access
File
78 Downloads (Pure)

Equivalence and quantifier rules in logic with imperfect information

Caicedo, X., Dechesne, F. & Janssen, T. M. V., 2007, Amsterdam: Institute for Logic, Language and Computation. 42 p. (Technical Report; vol. PP-2007-20)

Research output: Book/ReportReportAcademic

Equivalence checking for infinite systems using parameterized Boolean equation systems

Chen, T., Ploeger, B., Pol, van de, J. C. & Willemse, T. A. C., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0714)

Research output: Book/ReportReportAcademic

Open Access
File
29 Citations (Scopus)
52 Downloads (Pure)

Generic trace semantics via coinduction

Hasuo, I., Jacobs, B. P. F. & Sokolova, A., 2007, s.n. (CoRR; vol. abs/0710.2505)

Research output: Book/ReportReportAcademic

109 Citations (Scopus)

Linearization of hybrid Chi using program counters

Khadim, U., Beek, van, D. A. & Cuijpers, P. J. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0718)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)