A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016). LNCS, Springer, 2016.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.