Real-time control software for transaction processing based on colored safe Petri Net model Tomohiro MurataNorihisa Komoda OriginalPaper Pages: 299 - 312
An application of structural modeling and automated reasoning to real-time systems design Shinichi HonidenNaoshi UchihiraMasahiko Arai OriginalPaper Pages: 313 - 331
Dataflow computer extension towards real-time processing Masaru Takesue OriginalPaper Pages: 333 - 350
Programmable real-time scheduler using a neurocomputer Tadashi AeReiji Aibara OriginalPaper Pages: 351 - 363