Theoretical Computer Science

Research Output 1993 2019

Filter
PhD Thesis - Research external, graduation VU
2010

Formal models for component connectors

de Oliveira-Costa, D., 2010, 197 p.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File
2008

Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols

Torabi Dashti, M., 2008, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File
2007

What to Do Next? Analysing and Optimising System Behaviour in Time

Wijs, A. J., 2007, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File
2006

Verification Techniques for Extensions of Equality Logic

Badban, B., 2006, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File
2005

Modal Abstraction and Replication of Processes with Data

Valero Espada, M., 2005, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File
2004

Abstractions and Static Analysis for Verifying Reactive Systems

Ioustinova, N., 2004, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

File

Formal Verification of Distributed Systems

Pang, J., 2004, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File

On Distributed Verification and Verified Distribution

Orzan, S. M., 2004, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Open Access
File

On Generalised Coinduction and Probabilistic Specification Formats

Bartels, F., 2004, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic