Publication:5357696

DOI10.4230/LIPIcs.CONCUR.2015.85zbMath1374.68105MaRDI QIDQ5357696

David Harel, Robby Lampert, Gera Weiss, Assaf Marron, Guy Katz

Publication date: 12 September 2017

zbMATH Keywords

automata; bounded concurrency; descriptive succinctness; module size

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)