A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Corrodi, ClaudioClaudioCorrodiHeußner, AlexanderAlexanderHeußnerPoskitt, Christopher M.Christopher M.PoskittStevens, PerditaWąsowski , Andrzej2019-09-192016-12-072016978-3-662-49664-0https://fis.uni-bamberg.de/handle/uniba/41373engA Graph-Based Semantics Workbench for Concurrent Asynchronous Programsconferenceobject10.1007/978-3-662-49665-7_3