Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L.

Franois Taani, Mario Paludetto, Jrme Delatour

Browse the full ISORC paper archive.