Items where Author is "Schmitt, Alan"
Number of items: 13. LaLanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013) Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011) LiLanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013) Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009) MeLanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013) Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011) Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009) ScLanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013) Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011) Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009) StLanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Concurrent flexible reversibility. In: Programming Languages and Systems. Lecture Notes in Computer Science (7792). Springer, pp. 370-390. ISBN 978-3-642-37036-6 (2013) Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011) Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Typing component-based communication systems. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science (5522). Springer, pp. 167-181. ISBN 978-3-642-02137-4 (2009) |
