Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -9,8 +9,6 @@
9	9
10	10	This seminar is build upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
11	11
12		-
13		-
14	14	Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
15	15
16	16	(% style="text-align: left;" %)
...	...	@@ -39,9 +39,6 @@
39	39	(% class="bodytext" style="text-align: left;" %)
40	40	Many of the links do only work in the university network. Through the usage of a [[VPN>>url:https://www.rz.uni-kiel.de/de/angebote/vpn||shape="rect"]] or a remote session to the [[terminal server>>url:https://www.inf.uni-kiel.de/de/service/technik-service/dienste||shape="rect"]], those are also accessible from home. If any problems occur feel free to contact us.
41	41
42		-(% class="bodytext" style="text-align: left;" %)
43		-\\
44		-
45	45	=== Bachelor Recommendations ===
46	46
47	47	(% style="margin-left: 30.0px;" %)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-75694300
	1	+75694306

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/75694300/WS20/21 (Synchronous Languages)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/75694306/WS20/21 (Synchronous Languages)