- Differential Game Logic André Platzer Thu 06 April 2023
- Finite State Machines for Strings over Infinite Alphabets Frank Neven Thomas Schwentick Victor Vianu Tue 06 April 2021
- On the expressiveness of higher dimensional automata R.J. van Glabbeek Wed 19 June 2019
- The Logic of Event Clocks: Decidability, Complexity and Expressiveness Jean-François Raskin Pierre-Yves Schobbens Fri 01 June 2018
- The Expressive Power of Time Petri Nets B. Bérard F. Cassez S. Haddad D. Lime O. H. Roux Thu 24 May 2018
- Timed Petri nets and timed automata: On the discriminating power of zeno sequences Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 26 March 2015
- On the Expressiveness and Decidability of Higher-order Process Calculi Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt Fri 13 December 2013
- On the -language expressive power of extended Petri nets A. Finkel G. Geeraerts J.-F. Raskin L. Van Begin Wed 25 September 2013
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
