Fault-Free Refinements for Interface Automata
Schinko, Ayleen, Vogler, Walter
Published in 2018 18th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2018)
Published in 2018 18th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2018)
Get full text
Conference Proceeding
Interface Automata for Shared Memory
Schinko, Ayleen, Vogler, Walter, Gareis, Johannes, Nguyen, N. Tri, Lüttgen, Gerald
Published in Acta informatica (01.10.2022)
Published in Acta informatica (01.10.2022)
Get full text
Journal Article