Skip to content
Skip to breadcrumbs
Skip to header menu
Skip to action menu
Skip to quick search
Linked Applications
Loading…
Spaces
Create
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
Available Gadgets
About Confluence
Log in
Seminars
Page tree
Browse pages
Configure
Space tools
View Page
A
t
tachments (1)
Page History
Page Information
View in Hierarchy
View Source
Export to PDF
Export to Word
Pages
Seminars
SS19 (Synchrone Sprachen)
Page Information
Title:
SS19 (Synchrone Sprachen)
Author:
Alexander Schulz-Rosengarten
Feb 08, 2019
Last Changed by:
Alexander Schulz-Rosengarten
Feb 04, 2020
Tiny Link:
(useful for email)
https://rtsys.informatik.uni-kiel.de/confluence/x/6QA7Aw
Export As:
Word
·
PDF
Hierarchy
Parent Page
Home page:
Seminars
Labels
There are no labels assigned to this page.
Recent Changes
Time
Editor
Feb 04, 2020 13:19
Alexander Schulz-Rosengarten
View Changes
Jul 05, 2019 14:17
Alexander Schulz-Rosengarten
View Changes
Jun 27, 2019 13:20
Alexander Schulz-Rosengarten
View Changes
Jun 27, 2019 13:18
Alexander Schulz-Rosengarten
View Changes
Jun 27, 2019 13:16
Alexander Schulz-Rosengarten
View Page History
Outgoing Links
External Links (42)
ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7913644
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=83…
https://hal.archives-ouvertes.fr/hal-01937252/document
https://dl.acm.org/citation.cfm?id=3270116
https://arxiv.org/pdf/1612.05030.pdf
dl.acm.org/citation.cfm?id=2544387
https://dl.acm.org/citation.cfm?id=3273907
https://easychair.org/conferences/?conf=kielrtsyssem19ss
https://link.springer.com/article/10.1007/s11241-015-9219-y
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=68…
mailto:rvh@informatik.uni-kiel.de
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7886655
citeseer.ist.psu.edu/
mailto:als@informatik.uni-kiel.de
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
https://www.sciencedirect.com/science/article/pii/S15710661…
dblp.uni-trier.de/
portal.acm.org/dl.cfm
https://freidok.uni-freiburg.de/fedora/objects/freidok:1064…
www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchr…
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
https://dl.acm.org/citation.cfm?id=3281282
laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf
ieeexplore.ieee.org/Xplore/dynhome.jsp
https://www.acm.org/publications/authors/bibtex-formatting
https://dl.acm.org/citation.cfm?id=2724571
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
rtsys.informatik.uni-kiel.de/confluence/x/jwBe
scholar.google.de/
florence.io/resources/papers/POPL-ESTEREL-2019.pdf
https://dl.acm.org/citation.cfm?id=501810
https://www.irisa.fr/prive/talpin/papers/scp14a.pdf
https://www.di.ens.fr/~pouzet/bib/cc15.pdf
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
www.uni-kiel.de/ub/emedien/index.html
https://www.di.ens.fr/~pouzet/bib/esop_aguado_final.pdf
https://dl.acm.org/citation.cfm?id=3167338
https://dl.acm.org/citation.cfm?id=3183489
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=85…
Rtsys Group Wiki (1)
Page:
EasyChair Student Tutorial
Seminars (1)
Page:
SS19 (Synchrone Sprachen)
Overview
Content Tools
{"serverDuration": 97, "requestCorrelationId": "06c387c388023aeb"}