- Interprocedural analysis of asynchronous programs Ranjit Jhala Rupak Majumdar Fri 18 October 2013
- Decidability results for well-structured transition systems with auxiliary storage R. Chadha M. Viswanathan Fri 18 October 2013
- Nested timed automata Guoqiang Li Xiaojuan Cai Mizuhito Ogawa Shoji Yuen Fri 18 October 2013
- An Infinite Antichain of Permutations Daniel A. Spielman Miklós Bóna Fri 18 October 2013
- On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap Joël Ouaknine James Worrell Fri 18 October 2013
- On Termination for Faulty Channel Systems Patricia Bouyer Nicolas Markey Joel Ouaknine Philippe Schnoebelen James Worrell Thu 17 October 2013
- On termination and invariance for faulty channel machines Patricia Bouyer Nicolas Markey Jo el Ouaknine Philippe Schnoebelen James Worrell Thu 17 October 2013
- On Extensions of Process Rewrite Systems Vojtech Rehak Wed 16 October 2013
- Review of the PhD thesis - On Extensions of Process Rewrite Systems Richard Mayr Wed 16 October 2013
- Process Rewrite Systems Richard Mayr Tue 15 October 2013
- http://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/ N/A Tue 15 October 2013
- UPPAAL 4.0 Gerd Behrmann Alexandre David Kim G. Larsen John Hakansson Paul Petterson Wang Yi Martijn Hendriks Tue 15 October 2013
- Tree Automata over Infinite Alphabets Michael Kaminski Tony Tan Mon 14 October 2013
- Context-Free Languages over Infinite Alphabets Edward Y. C. Cheng Michael Kaminski Mon 14 October 2013
- Well-Structured Pushdown Systems Xiaojuan Cai Mizuhito Ogawa Mon 14 October 2013
- Haskell overloading is DEXPTIME-complete Helmut Seidl Mon 14 October 2013
- Towards Succinctness in Mining Scenario-Based Specifications David Lo Shahar Maoz Mon 14 October 2013
- The MSO theory of connectedly communicating processes P. Madhusudan P. S. Thiagarajan Shaofa Yang Sun 13 October 2013
- Asynchronous games 2: the true concurrency of innocence Paul-André Melliès Sun 13 October 2013
- The power of well-structured systems Sylvain Schmitz Philippe Schnoebelen Thu 10 October 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
