List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modal scenarios as automata Lecture Notes in Computer Science | 2015-02-10 | Paper |
| Relaxing synchronization constraints in behavioral programs Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| Multi-modal scenarios revisited: a net-based representation Theoretical Computer Science | 2012-05-30 | Paper |
| On the power of play-out for scenario-based programs Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Research outcomes over time
This page was built for person: Amir Kantor