Summary

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

Details

Page properties

Content

...	...	@@ -96,7 +96,7 @@
96	96	(% class="text-black navigate" %)**Sören Domrös**: Gesell, M.; Schneider, K., [[Modular verification of synchronous programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect"]], Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013
97	97
98	98	(% style="margin-left: 30.0px;" %)
99		-(% class="text-black navigate" %)Shaver, C.; Lee, E.A., [[The coroutine model of computation>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect"]], Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. (% class="text-black navigate MIME-application MIME--pdf external-link" %)PDF hier(% class="text-black navigate" %).
	99	+(% class="text-black navigate" %)**Merlin Kötzing:** Shaver, C.; Lee, E.A., [[The coroutine model of computation>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect"]], Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. (% class="text-black navigate MIME-application MIME--pdf external-link" %)PDF hier(% class="text-black navigate" %).
100	100	//Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]]// des Autors.
101	101
102	102	(% style="margin-left: 30.0px;" %)
...	...	@@ -148,7 +148,7 @@
148	148	)))
149	149	|(% colspan="1" %)(% colspan="1" %)
150	150	(((
151		-tba
	151	+Mi, 15.11 & Fr, 17.11
152	152	)))|(% colspan="1" %)(% colspan="1" %)
153	153	(((
154	154	Individualtermine
...	...	@@ -162,7 +162,7 @@
162	162	)))
163	163	|(% colspan="1" %)(% colspan="1" %)
164	164	(((
165		-tba
	165	+Mi, 13.12 & Fr, 15.12
166	166	)))|(% colspan="1" %)(% colspan="1" %)
167	167	(((
168	168	Individualtermine
...	...	@@ -206,7 +206,7 @@
206	206	)))
207	207	|(% colspan="1" %)(% colspan="1" %)
208	208	(((
209		-tba
	209	+Mi, 24.01 & Fr, 26.01
210	210	)))|(% colspan="1" %)(% colspan="1" %)
211	211	(((
212	212	Individualtermine**

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-33260065
	1	+33260192

URL

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