Roland Meyer
- On the Separability Problem of VASS Reachability Languages
2024/01/29 by Eren Keskin, Keskin, Eren, Roland Meyer +1 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Multi-Agent Systems and Negotiation #Service-Oriented Architecture and Web Services
- Checking Robustness against TSO
2012/08/30 by Ahmed Bouajjani, Bouajjani, Ahmed, Egor Derevenetc +3 · 1 citation
Computer Science · #68Q60 #D.1.3 #D.2.4 #D.3.4 #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)