• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Rapport
2004

Weak bisimulation for action-type coalgebras

Sokolova, A., Vink, de, E. P. & Woracek, H., 2004, Eindhoven: Technische Universiteit Eindhoven. 43 blz. (Computer science reports; vol. 0416)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
71 Downloads (Pure)
2003

A distributed spanning tree algorithm for topology-aware networks

Mooij, A. J., Goga, N. & Wesselink, J. W., 2003, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computer science reports; vol. 0309)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
100 Downloads (Pure)

A formal analysis of a dynamic distributed spanning tree algorithm

Mooij, A. J. & Wesselink, J. W., 2003, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computer science reports; vol. 0316)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
23 Downloads (Pure)

A proof system and a decision procedure for equality logic

Tveretina, O. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0302)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
152 Downloads (Pure)

CCS with Hennessy's merge has no finite equational axiomatization

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2003, Aarhus: BRICS, University of Aarhus. 37 blz. (BRICS Report Series; vol. RS-03-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
84 Downloads (Pure)

Coordination in networked organizations : the Paradigm approach

Vink, de, E. P., Groenewegen, L. P. J. & Kampenhout, van, N., 2003, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computer science reports; vol. 0313)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
34 Downloads (Pure)

Efficient almost wait-free parallel accesible dynamic hashtables

Gao, H., Groote, J. F. & Hesselink, W. H., 2003, Eindhoven: Technische Universiteit Eindhoven. 37 blz. (Computer science reports; vol. 0303)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
40 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computer science reports; vol. 0301)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
13 Citaten (Scopus)
59 Downloads (Pure)

Located actions in process algebra with timing

Bergstra, J. A. & Middelburg, C. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 31 blz. (Computer science reports; vol. 0312)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
31 Downloads (Pure)

Operational semantics for Petri net components

Groote, J. F. & Voorhoeve, M., 2003, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0308)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
64 Downloads (Pure)

Process algebra for hybrid systems

Bergstra, J. A. & Middelburg, C. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 61 blz. (Computer science reports; vol. 0306)

Onderzoeksoutput: Boek/rapportRapportAcademic

Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Groote, J. F. & Keinänen, M. K., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 12 blz. (CWI report. SEN-R : software engineering; vol. 0310)

Onderzoeksoutput: Boek/rapportRapportAcademic

Termination of string rewriting proved automatically

Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0314)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
166 Downloads (Pure)

Transforming equality logic to propositional logic

Zantema, H. & Groote, J. F., 2003, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Computer science reports; vol. 0305)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
4 Citaten (Scopus)
77 Downloads (Pure)

Verifying a sliding window protocol in mu-CRL

Fokkink, W. J., Groote, J. F., Pang, J., Badban, B. & Pol, van de, J. C., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 36 blz. (CWI report. SEN-R : software engineering; vol. 0308)

Onderzoeksoutput: Boek/rapportRapportAcademic

2002

A checker for modal formulas for processes with data

Groote, J. F. & Willemse, T. A. C., 2002, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computer science reports; vol. 0216)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
32 Downloads (Pure)

Algebraic representation of bisimulation for the tagh-format

Sokolova, A. & Vink, de, E. P., 2002, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computer science reports; vol. 0202)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
39 Downloads (Pure)

An algebraic approach to transactional processes

Beek, van, H. M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0218)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
50 Downloads (Pure)

A new equivalence for processes with timing

Baeten, J. C. M., Middelburg, C. A. & Reniers, M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computer science reports; vol. 0210)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
33 Downloads (Pure)

Formalizing programming variables in process algebra

Baeten, J. C. M. & Bos, V., 2002, Turku: Turku Centre for Computer Science. 26 blz. (TUCS Technical Report; vol. 493)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
37 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2002, March 2003 revised version redactie Aachen: RWTH Aachen. (Aachener Informatik Berichte; vol. AIB2002-11)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
65 Downloads (Pure)

Process algebra with nonstandard timing

Middelburg, C. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computer science reports; vol. 0206)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
3 Citaten (Scopus)
29 Downloads (Pure)

Process algebra with pointers

Baeten, J. C. M., Bergstra, J. A. & Feijs, L. M. G., 2002, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 0203)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
39 Downloads (Pure)

State space visualization

Groote, J. F. & Ham, van, F. J. J., 2002, Eindhoven: Technische Universiteit Eindhoven. 14 blz. (Computer science reports; vol. 0214)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
96 Downloads (Pure)

Transforming DPLL to resolution

Tveretina, O. & Zantema, H., 2002, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0207)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
410 Downloads (Pure)

Weak Type Theory : a formal language for mathematics

Nederpelt, R. P., 2002, Eindhoven: Technische Universiteit Eindhoven. 74 blz. (Computer science reports; vol. 0205)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
196 Downloads (Pure)