Seminars
Page tree
Title: WS22/23 (Synchronous Languages)  
Author: Jette Petzold May 25, 2022
Last Changed by: Alexander Schulz-Rosengarten Feb 23, 2023
Tiny Link: (useful for email) https://rtsys.informatik.uni-kiel.de/confluence/x/BICsBw
Export As: Word · PDF  
Hierarchy
Parent Page
    Home page: Seminars
Labels
There are no labels assigned to this page.
Page Permissions
Page restrictions:
  • Only users in group mrvh can edit this page. (set by Niklas Rentz at Feb 01, 2023 09:59)
  • Only als can edit this page. (set by Jette Petzold at May 25, 2022 12:09)
  • Only jep can edit this page. (set by Jette Petzold at May 25, 2022 11:14)
  • Only nre can edit this page. (set by Niklas Rentz at Feb 01, 2023 09:59)
  • Only rvh can edit this page. (set by Jette Petzold at May 25, 2022 11:19)
Recent Changes
Time Editor  
Feb 23, 2023 10:57 Alexander Schulz-Rosengarten View Changes
Feb 01, 2023 10:46 Jette Petzold View Changes
Feb 01, 2023 10:39 Jette Petzold View Changes
Jan 10, 2023 15:06 Jette Petzold View Changes
Jan 10, 2023 13:58 Jette Petzold  
Outgoing Links
External Links (44)
    https://ieeexplore.ieee.org/document/7311464
    dblp.uni-trier.de/
    mailto:jep@informatik.uni-kiel.de
    scholar.google.de/
    https://ieeexplore.ieee.org/abstract/document/9568373
    https://ieeexplore.ieee.org/document/9474190
    portal.acm.org/dl.cfm
    https://dl.acm.org/doi/10.1145/3486605.3486786
    https://dl.acm.org/citation.cfm?doid=3239372.3239407
    https://ieeexplore.ieee.org/abstract/document/8636899
    https://dl.acm.org/citation.cfm?doid=3239372.3239409
    https://www.inf.uni-kiel.de/de/service/technik-service/dien…
    https://dl.acm.org/doi/abs/10.1145/1629335.1629356
    https://dl.acm.org/citation.cfm?doid=3273905.3273923
    https://ieeexplore.ieee.org/document/9275867
    https://ieeexplore.ieee.org/document/8539215
    https://ieeexplore.ieee.org/document/9232942
    https://ieeexplore.ieee.org/document/9232944
    https://www.sciencedirect.com/science/article/pii/S18777058…
    https://dl.acm.org/doi/10.1145/3385412.3386009
    https://easychair.org/conferences/?conf=kielrtsyssem22ws
    citeseer.ist.psu.edu/
    https://dl.acm.org/citation.cfm?doid=3139258.3139279
    https://dl.acm.org/citation.cfm?doid=3273905.3273917
    https://dl.acm.org/citation.cfm?doid=3139258.3139281
    www.uni-kiel.de/ub/emedien/index.html
    https://dl.acm.org/doi/10.1145/3273905.3273921
    mailto:als@informatik.uni-kiel.de
    mailto:rvh@informatik.uni-kiel.de
    https://ieeexplore.ieee.org/document/9568383
    https://ieeexplore.ieee.org/document/5070769
    https://www.rz.uni-kiel.de/de/angebote/vpn
    https://dl.acm.org/citation.cfm?id=3239388
    https://ieeexplore.ieee.org/document/8369501
    https://rdcu.be/bQRqq
    https://dl.acm.org/citation.cfm?doid=3239372.3239410
    https://ieeexplore.ieee.org/document/9232935
    https://dl.acm.org/citation.cfm?doid=3139258.3139265
    www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchr…
    https://ieeexplore.ieee.org/document/9232938
    https://www.acm.org/publications/authors/bibtex-formatting
    https://ieeexplore.ieee.org/document/9232939
    https://rtsys.informatik.uni-kiel.de/confluence/display/RTS…
    ieeexplore.ieee.org/Xplore/dynhome.jsp
Seminars (1)     Page: SS20 (Layout)
Rtsys Group Wiki (1)     Page: EasyChair Student Tutorial