| 2011 | Carrying Probabilities to the Infinite World. | Parosh Aziz Abdulla |
| 2011 | Causal Nets: A Modeling Language Tailored towards Process Discovery. | Wil M. P. van der Aalst, Arya Adriansyah, Boudewijn F. van Dongen |
| 2010 | Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. | Tim A. C. Willemse |
| 2010 | Communicating Transactions - (Extended Abstract). | Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
| 2010 | Representations of Petri Net Interactions. | Pawel Sobocinski |
| 2010 | Conditional Automata: A Tool for Safe Removal of Negligible Events. | Roberto Segala, Andrea Turrini |
| 2010 | Flat Coalgebraic Fixed Point Logics. | Lutz Schrder, Yde Venema |
| 2010 | Trust in Anonymity Networks. | Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |
| 2010 | A Communication Based Model for Games of Imperfect Information. | Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2010 | Modal Logic over Higher Dimensional Automata. | Cristian Prisacariu |
| 2010 | Taming Distributed Asynchronous Systems. | Anca Muscholl |
| 2010 | Reversing Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2010 | Kleene, Rabin, and Scott Are Available. | Jochen Hoenicke, Roland Meyer, Ernst-Rdiger Olderog |
| 2010 | Applications of Shellable Complexes to Distributed Computing - (Invited Talk). | Maurice Herlihy |
| 2010 | Generic Forward and Backward Simulations II: Probabilistic Simulation. | Ichiro Hasuo |
| 2010 | A Linear Account of Session Types in the Pi Calculus. | Marco Giunti, Vasco Thudichum Vasconcelos |
| 2010 | Efficient Bisimilarities from Second-Order Reaction Semantics for | Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa |
| 2010 | On the Compositionality of Round Abstraction. | Dan R. Ghica, Mohamed Nabih Menaa |
| 2010 | Reasoning about Optimistic Concurrency Using a Program Logic for History. | Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang |
| 2010 | Theory by Process. | Yuxi Fu |
| 2010 | Concurrency and Composition in a Stochastic World. | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | On the Use of Non-deterministic Automata for Presburger Arithmetic. | Antoine Durand-Gasselin, Peter Habermehl |
| 2010 | Buffered Communication Analysis in Distributed Multiparty Sessions. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2010 | Termination in Impure Concurrent Languages. | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
| 2010 | Parameterized Verification of Ad Hoc Networks. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |