34 citations · 49 across the 7 of their papers we have counts for
7 papers
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The exe…
Proceedings Second Graphs as Models Workshop
Alexander Heußner, Aleks Kissinger, Anton Wijs
Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, soci…
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise executi…
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi +1
To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented co…
Reachability in Higher-Order-Counters
Alexander Heußner, Alexander Kartzow
Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automat…
Reachability Analysis of Communicating Pushdown Systems
Alexander Heussner, Jérôme Leroux, Anca Muscholl +1
The reachability analysis of recursive programs that communicate asynchronously over reliable FIFO channels calls for restrictions to ensure decidability. Our first result characte…