iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/ISORC.2001.922853
Composing real-time objects: a case for Petri nets and Girard's linear logic | IEEE Conference Publication | IEEE Xplore
