by Cardelli, Luca, Gardner, Philippa
Published in Programs, Proofs, Processes

by De Mol, Liesbeth, Bullynck, Maarten, Carlé, Martin
Published in Programs, Proofs, Processes

by Kojevnikov, Arist, Kulikov, Alexander S.
Published in Programs, Proofs, Processes

by Glaßer, Christian, Reitwießner, Christian, Schmitz, Heinz, Witek, Maximilian
Published in Programs, Proofs, Processes

by Kudinov, Oleg V., Selivanov, Victor L., Yartseva, Lyudmila V.
Published in Programs, Proofs, Processes

by Bienvenu, Laurent, Day, Adam, Mezhirov, Ilya, Shen, Alexander
Published in Programs, Proofs, Processes

by Allender, Eric
Published in Programs, Proofs, Processes

by Blin, Guillaume, Rizzi, Romeo, Vialette, Stéphane
Published in Programs, Proofs, Processes

by Bienvenu, Laurent, Stephan, Frank, Teutsch, Jason
Published in Programs, Proofs, Processes

by Arrighi, Pablo, Dowek, Gilles
Published in Programs, Proofs, Processes

by Melnikov, Alexander G.
Published in Programs, Proofs, Processes

by Manea, Florin, Martín-Vide, Carlos, Mitrana, Victor
Published in Programs, Proofs, Processes

by Kudinov, Oleg V., Selivanov, Victor L., Zhukov, Anton V.
Published in Programs, Proofs, Processes

by Donato, Debora
Published in Programs, Proofs, Processes

by Cenzer, Douglas, Dashti, Ali, Toska, Ferit, Wyman, Sebastian
Published in Programs, Proofs, Processes

by Steiner, Rebecca M.
Published in Programs, Proofs, Processes

by Longo, Giuseppe
Published in Programs, Proofs, Processes

by Straßburger, Lutz
Published in Programs, Proofs, Processes

by Uckelman, Sara L.
Published in Programs, Proofs, Processes

by Hitchcock, John M.
Published in Programs, Proofs, Processes