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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.