Detail

Publication date: 01/01/2011

Behavioural Theory for Session-oriented Calculi

Authors

Ivan Lanese, António Ravara, Hugo Torres Vieira,

Publisher Springer-Verlag
Series Lecture Notes in Computer Science
Volume 6582
ISBN 978-3-642-20400-5
Publisher Springer-Verlag
Series Lecture Notes in Computer Science
Volume 6582
ISBN 978-3-642-20400-5