Abstract
We investigate possible ways to extend the notion of determinacy from automata to general concurrent systems (described here mainly as behavior structures).
Get full access to this article
View all access options for this article.
Filter Results
Select search scope: search across all journals or within the current journal
Search this journal
Enter search terms…
/