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

Yustinova, N., 2004

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

Open Access
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: Distributive laws in coalgebraic modelling

Bartels, F., 2004

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

Open Access
File