- Reachability in Higher-Order-Counters Alexander Heußner Alexander Kartzow Mon 15 September 2014
- Reachability in Pushdown Register Automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos Mon 15 September 2014
- Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach Wil Janssen Mannes Poel Job Zwiers Mon 15 September 2014
- Realizability of Choreographies Using Process Algebra Encodings G. Salaun T. Bultan N. Roohi Mon 15 September 2014
- Making Work Flow: On the Application of Petri Nets to Business Process Management. Wil M. P. van der Aalst Mon 15 September 2014
- On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations Javier Esparza Jørg Desel Mon 15 September 2014
- On Negotiation As Concurrency Primitive Javier Esparza Jørg Desel Mon 15 September 2014
- Realizability and verification of MSC graphs Rajeev Alur Kousha Etessami Mihalis Yannakakis Mon 15 September 2014
- A simple indeterminate infinite game Eryk Kopczyński Damian Niwiński Sat 13 September 2014
- Time, Clocks, and the Ordering of Events in a Distributed System Leslie Lamport Sat 13 September 2014
- Reaching Agreement in the Presence of Faults M. Pease R. Shostak L. Lamport Sat 13 September 2014
- Tropical Two-Way Automata Vincent Carnino Sylvain Lombardy Fri 12 September 2014
- Propositions as Types Philip Wadler Fri 12 September 2014
- A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups Anthony Widjaja Lin Sanming Zhou Fri 12 September 2014
- Bisimulations Up-to: Beyond First-Order Transition Systems Jean-Marie Madiot Damien Pous Davide Sangiorgi Fri 12 September 2014
- Interprocedural dependence analysis of higher-order programs via stack reachability Matthew Might Tarun Prabhu Fri 12 September 2014
- Automatic Parallelization of Lazy Functional Programs Guido Hogen Andrea Kindler Rita Loogen Fri 12 September 2014
- Parallel Scripting for Applications at the Petascale and Beyond M. Wilde I Foster K. Iskra P. Beckman Zhao Zhang A Espinosa M. Hategan B. Clifford I Raicu Fri 12 September 2014
- Swift: A Language for Distributed Parallel Scripting Michael Wilde Mihael Hategan Justin M. Wozniak Ben Clifford Daniel S. Katz Ian Foster Fri 12 September 2014
- Positional Strategies for Higher-Order Pushdown Parity Games Arnaud Carayol Michaela Slaats Thu 11 September 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
