Publikationen
Konferenzbeitrag (2)
- ReActor: A notation for the specification of actor systems and its semanticsDetails
Rodger Burmeister, 2013
- The observer pattern applied to actor systems: A TLA/TLC-based implementation analysisDetails
Rodger Burmeister and Steffen Helke, IEEE CS Press, 2012
Export Suchergebnis .bib / .csv / selektieren