forked from SOMAS2020/SOMAS-Final-Report
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
6 changed files
with
315 additions
and
17 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,26 +1,286 @@ | ||
# LaTeX temporary files | ||
## Core latex/pdflatex auxiliary files: | ||
*.aux | ||
*.lof | ||
*.log | ||
*.lot | ||
*.fls | ||
*.out | ||
*.toc | ||
*.fmt | ||
*.fot | ||
*.cb | ||
*.cb2 | ||
.*.lb | ||
|
||
## Intermediate documents: | ||
*.dvi | ||
*.xdv | ||
*-converted-to.* | ||
# these rules might exclude image files for figures etc. | ||
# *.ps | ||
# *.eps | ||
|
||
# PDF output - usually a bad idea to keep this in Git | ||
## Generated if empty string is given at "Please type another file name for output:" | ||
main.pdf | ||
|
||
# Latexmk | ||
*.fdb_latexmk | ||
## Bibliography auxiliary files (bibtex/biblatex/biber): | ||
*.bbl | ||
*.bcf | ||
*.blg | ||
*-blx.aux | ||
*-blx.bib | ||
*.run.xml | ||
|
||
# SyncTeX | ||
## Build tool auxiliary files: | ||
*.fdb_latexmk | ||
*.synctex | ||
*.synctex(busy) | ||
*.synctex.gz | ||
*.synctex.gz(busy) | ||
*.pdfsync | ||
|
||
## Build tool directories for auxiliary files | ||
# latexrun | ||
latex.out/ | ||
|
||
## Auxiliary and intermediate files from other packages: | ||
# algorithms | ||
*.alg | ||
*.loa | ||
|
||
# achemso | ||
acs-*.bib | ||
|
||
# LaTeX Beamer | ||
# amsthm | ||
*.thm | ||
|
||
# beamer | ||
*.nav | ||
*.pre | ||
*.snm | ||
*.vrb | ||
*.nav | ||
*.out | ||
|
||
# BibTeX | ||
*.bbl | ||
*.blg | ||
# changes | ||
*.soc | ||
|
||
# comment | ||
*.cut | ||
|
||
# cprotect | ||
*.cpt | ||
|
||
# elsarticle (documentclass of Elsevier journals) | ||
*.spl | ||
|
||
# endnotes | ||
*.ent | ||
|
||
# fixme | ||
*.lox | ||
|
||
# feynmf/feynmp | ||
*.mf | ||
*.mp | ||
*.t[1-9] | ||
*.t[1-9][0-9] | ||
*.tfm | ||
|
||
#(r)(e)ledmac/(r)(e)ledpar | ||
*.end | ||
*.?end | ||
*.[1-9] | ||
*.[1-9][0-9] | ||
*.[1-9][0-9][0-9] | ||
*.[1-9]R | ||
*.[1-9][0-9]R | ||
*.[1-9][0-9][0-9]R | ||
*.eledsec[1-9] | ||
*.eledsec[1-9]R | ||
*.eledsec[1-9][0-9] | ||
*.eledsec[1-9][0-9]R | ||
*.eledsec[1-9][0-9][0-9] | ||
*.eledsec[1-9][0-9][0-9]R | ||
|
||
# glossaries | ||
*.acn | ||
*.acr | ||
*.glg | ||
*.glo | ||
*.gls | ||
*.glsdefs | ||
*.lzo | ||
*.lzs | ||
|
||
# uncomment this for glossaries-extra (will ignore makeindex's style files!) | ||
# *.ist | ||
|
||
# gnuplottex | ||
*-gnuplottex-* | ||
|
||
# gregoriotex | ||
*.gaux | ||
*.gtex | ||
|
||
# htlatex | ||
*.4ct | ||
*.4tc | ||
*.idv | ||
*.lg | ||
*.trc | ||
*.xref | ||
|
||
# hyperref | ||
*.brf | ||
|
||
# knitr | ||
*-concordance.tex | ||
# TODO Uncomment the next line if you use knitr and want to ignore its generated tikz files | ||
# *.tikz | ||
*-tikzDictionary | ||
|
||
# listings | ||
*.lol | ||
|
||
# luatexja-ruby | ||
*.ltjruby | ||
|
||
# makeidx | ||
*.idx | ||
*.ilg | ||
*.ind | ||
|
||
# minitoc | ||
*.maf | ||
*.mlf | ||
*.mlt | ||
*.mtc[0-9]* | ||
*.slf[0-9]* | ||
*.slt[0-9]* | ||
*.stc[0-9]* | ||
|
||
# minted | ||
_minted* | ||
*.pyg | ||
|
||
# morewrites | ||
*.mw | ||
|
||
# nomencl | ||
*.nlg | ||
*.nlo | ||
*.nls | ||
|
||
# pax | ||
*.pax | ||
|
||
# pdfpcnotes | ||
*.pdfpc | ||
|
||
# sagetex | ||
*.sagetex.sage | ||
*.sagetex.py | ||
*.sagetex.scmd | ||
|
||
# scrwfile | ||
*.wrt | ||
|
||
# sympy | ||
*.sout | ||
*.sympy | ||
sympy-plots-for-*.tex/ | ||
|
||
# pdfcomment | ||
*.upa | ||
*.upb | ||
|
||
# pythontex | ||
*.pytxcode | ||
pythontex-files-*/ | ||
|
||
# tcolorbox | ||
*.listing | ||
|
||
# thmtools | ||
*.loe | ||
|
||
# TikZ & PGF | ||
*.dpth | ||
*.md5 | ||
*.auxlock | ||
|
||
# todonotes | ||
*.tdo | ||
|
||
# vhistory | ||
*.hst | ||
*.ver | ||
|
||
# easy-todo | ||
*.lod | ||
|
||
# xcolor | ||
*.xcp | ||
|
||
# xmpincl | ||
*.xmpi | ||
|
||
# xindy | ||
*.xdy | ||
|
||
# xypic precompiled matrices and outlines | ||
*.xyc | ||
*.xyd | ||
|
||
# endfloat | ||
*.ttt | ||
*.fff | ||
|
||
# Latexian | ||
TSWLatexianTemp* | ||
|
||
## Editors: | ||
# WinEdt | ||
*.bak | ||
*.sav | ||
|
||
# Texpad | ||
.texpadtmp | ||
|
||
# LyX | ||
*.lyx~ | ||
|
||
# Kile | ||
*.backup | ||
|
||
# gummi | ||
.*.swp | ||
|
||
# KBibTeX | ||
*~[0-9]* | ||
|
||
# TeXnicCenter | ||
*.tps | ||
|
||
# auto folder when using emacs and auctex | ||
./auto/* | ||
*.el | ||
|
||
# expex forward references with \gathertags | ||
*-tags.tex | ||
|
||
# standalone packages | ||
*.sta | ||
|
||
# Makeindex log files | ||
*.lpz | ||
|
||
# xwatermark package | ||
*.xwm | ||
|
||
# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib | ||
# option is specified. Footnotes are the stored in a file with suffix Notes.bib. | ||
# Uncomment the next line to have this generated file ignored. | ||
#*Notes.bib | ||
|
||
# TeX Live | ||
*.fls | ||
.vscode |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
@inproceedings{YG2020, | ||
author = {Nobuko Yoshida and Lorenzo Gheri}, | ||
title = {{A Very Gentle Introduction to Multiparty Session Types}}, | ||
booktitle = {16th International Conference on Distributed Computing and Internet Technology}, | ||
series = {LNCS}, | ||
volume = {11969}, | ||
pages = {73--93}, | ||
publisher = {Springer}, | ||
doi = {10.1007/978-3-030-36987-3_5}, | ||
year = 2020 | ||
} | ||
@article{Dustdar05asurvey, | ||
author = {Schahram Dustdar and Wolfgang Schreiner}, | ||
title = {A Survey on Web Services Composition}, | ||
journal = {INTERNATIONAL JOURNAL ON WEB AND GRID SERVICES}, | ||
year = {2005}, | ||
volume = {1}, | ||
number = {1}, | ||
pages = {1--30} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters