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

François Taïani, Mario Paludetto, Jérôme Delatour. Composing Real-Time Objects: A Case for Petri Nets and Girard s Linear L. In 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany. pages 298-305, IEEE Computer Society, 2001. [doi]

Authors

François Taïani

This author has not been identified. Look up 'François Taïani' in Google

Mario Paludetto

This author has not been identified. Look up 'Mario Paludetto' in Google

Jérôme Delatour

This author has not been identified. Look up 'Jérôme Delatour' in Google