Summary

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

Details

Page properties

Content

...	...	@@ -12,7 +12,7 @@
12	12
13	13	For the following optimizations two assuptions are made:
14	14
15		-* A transition does not require an explicit goto instruction
	15	+* A transition does not require an explizit goto instruction
16	16	* A thread terminates, iff its parallel block is exited (via the next par statement or join)
17	17
18	18	The optimization level can be specified in the CoreToSCLTransformation class.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-8650982
	1	+6750237

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8650982/SCL Transformation
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750237/SCL Transformation