Claudia Faggian, Mauro Piccolo
Partial Orders, Event Structures and Linear Strategies
TLCA, 2009.
@inproceedings{TLCA-2009-FaggianP, author = "Claudia Faggian and Mauro Piccolo", booktitle = "{Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-642-02273-9_9", isbn = "978-3-642-02272-2", pages = "95--111", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Partial Orders, Event Structures and Linear Strategies}", volume = 5608, year = 2009, }