External Links

    Journal: Real-Time Systems

    Volume 1, Issue 4

    299 -- 312Tomohiro Murata, Norihisa Komoda. Real-Time Control Software for Transaction Processing Based on Colored Safe Petri Net Model
    313 -- 331Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai. An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design
    333 -- 350Masaru Takesue. Dataflow Computer Extension Towards Real-Time Processing
    351 -- 363Tadashi Ae, Reiji Aibara. Programmable Real-Time Scheduler Using a Neurocomputer
    runs on