Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Departamento de Informática
Research
TaRDIS
WP3
TaRDIS-DCR
Wiki
Home
Home
· Changes
Page history
Update home
authored
Oct 15, 2024
by
Nuno Fernandes
Hide whitespace changes
Inline
Side-by-side
home.md
View page @
62f8b7ae
# Overview
# Overview
# DCR Choreographies
# DCR Choreographies
[
DCR Choreographies
](
DCR
Choreographies)
# Prototype
# Prototype
# Demo
[
Introduction
](
home/Introduction
)
[
Prototype
](
Prototype
)
[
Prototype
](
Prototype
)