"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Hi-index | 0.00 |