- Structural operational semantics for weighted transition systems Bartek Klin Vladimiro Sassone Wed 27 March 2013
- Structural operational semantics for weighted transition systems Bartek Klin Wed 27 March 2013
- Process Algebra Rance Cleaveland Scott A. Smolka Wed 27 March 2013
- Loader and Urzyczyn Are Logically Related Sylvain Salvati Giulio Manzonetto Mai Gehrke Henk Barendregt Wed 27 March 2013
- Encoding of the Halting Problem into the Monster Type and Applications Thierry Joly Wed 27 March 2013
- Using models to model-check recursive schemes Sylvain Salvati Igor Walukiewicz Wed 27 March 2013
- Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus Kazushige Terui Wed 27 March 2013
- Adequate Models for Recursive Program Schemes Michael D. Ernst Wed 27 March 2013
- Simple Models for Recursive Schemes Igor Walukiewicz Wed 27 March 2013
- Higher-Order Program Verification and Language-Based Security Naoki Kobayashi Wed 27 March 2013
- Recursion schemes and generalized interpretations Jean H. Gallier Wed 27 March 2013
- The Category Theoretic Solution of Recursive Program Schemes Stefan Milius Lawrence S. Moss Wed 27 March 2013
- IO vs OI in Higher-Order Recursion Schemes Axel Haddad Wed 27 March 2013
- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems Christel Baier Nathalie Bertrand Philippe Schnoebelen Tue 26 March 2013
- Verifying nondeterministic probabilistic channel systems against (ømega)-regular linear-time properties Christel Baier Nathalie Bertrand Philippe Schnoebelen Tue 26 March 2013
- Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Peter Lammich Markus Muller-Olm Alexander Wenner Tue 26 March 2013
- Model Checking Recursive Programs with Numeric Data Types Matthew Hague Anthony Widjaja Lin Tue 26 March 2013
- Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters Matthew Hague Anthony Widjaja Lin Tue 26 March 2013
- Approximating Petri Net Reachability Along Context-free Traces Mohamed Faouzi Atig Pierre Ganty Tue 26 March 2013
- A Structural Approach to Operational Semantics Gordon Plotkin Tue 26 March 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
