Summary

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

Details

Page properties

Content

...	...	@@ -67,7 +67,7 @@
67	67	**Dennis Pehlke:** Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., [[Coordinating multiple administration loops using discrete control>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect"]] (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25.
68	68
69	69	(% class="bodytext" style="margin-left: 30.0px;" %)
70		-Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013.
	70	+**Nicolas Jessen:** Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013.
71	71
72	72	(% class="bodytext" style="margin-left: 30.0px;" %)
73	73	**Felix von der Heide:** Reinhard von Hanxleden and Timothy Bourke and Alain Girault. [[Real-Time Ticks for Synchronous Programming>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/fdl17.pdf||shape="rect"]]. In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-33260006
	1	+33260010

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260006/WS17/18 (Synchrone Sprachen)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260010/WS17/18 (Synchrone Sprachen)