- Well-abstracted transition systems: application to FIFO automata Alain Finkel S. Purushothaman Iyer Grégoire Sutre Fri 08 June 2012
- McScM: A General Framework for the Verification of Communicating Machines Alexander Heußner Tristan Le Gall Grégoire Sutre Thu 07 June 2012
- The FO^2 alternation hierarchy is decidable Manfred Kufleitner Pascal Weil Thu 07 June 2012
- Regular Languages of Words over Countable Linear Orderings Olivier Carton Thomas Colcombet Gabriele Puppis Thu 07 June 2012
- A theory of ultimately periodic languages and automata with an application to time granularity Davide Bresolin Angelo Montanari Gabriele Puppis Thu 07 June 2012
- Bisimulation and Logic Colin Stirling Tue 05 June 2012
- Strictness of the Collapsible Pushdown Hierarchy Alexander Kartzow Paweł Parys Tue 05 June 2012
- A Pumping Lemma for Pushdown Graphs of Any Level Pawel Parys Tue 05 June 2012
- A coinductive calculus of binary trees Alexandra Silva Jan Rutten Mon 04 June 2012
- A Computational Study of the Job-Shop Scheduling Problem David Applegate William Cook Mon 04 June 2012
- Statecharts: A Visual Formalism for Complex Systems David Harel Mon 04 June 2012
- Co-induction in Relational Semantics Robin Milner Mads Tofte Mon 04 June 2012
- On Discretization of Delays in Timed Automata and Digital Circuits Eugene Asarin Oded Maler Amir Pnueli Sat 02 June 2012
- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models Stefan Leue Richard Mayr Wei Wei Sat 02 June 2012
- A Scalable Incomplete Test for the Boundedness of UML RT Models Stefan Leue Richard Mayr Wei Wei Sat 02 June 2012
- Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs Blaise Genest Sat 02 June 2012
- Tutorial on Message Sequence Charts Ekkart Rudolph Peter Graubmann Jens Grabowski Sat 02 June 2012
- Message Sequence Charts: A Survey Blaise Genest Anca Muscholl Sat 02 June 2012
- Model Checking of Message Sequence Charts Rajeev Alur Mihalis Yannakakis Sat 02 June 2012
- On Message Sequence Graphs and Finitely Generated Regular MSC Languages Jesper G. Henriksen Madhavan Mukund K. Narayan Kumar P. S. Thiagarajan Sat 02 June 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
