Logical approach for specification and execution of concurrent real-time systems

由 Ramirez, Rafael
出版 2014

Concurrent programming made easy

由 Ramirez, Rafael, Santosa, Andrew E., Yap, Roland H.C.
出版 2013

Visual synchronization tool (VST)

由 Abadilla, John Ziegfred M., Datinguinoo, Julius D., Gotidoc, Michael Leslie P., Ramirez, Rafael D.
出版 1997