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]

Abstract

Abstract is missing.