J.M. Chaves-González, M.A. Vega-Rodríguez, J.A. Gómez-Pulido, J.M. Sánchez-Pérez: Pipeline-scheduling Simulator for Educational Purpose /jucs_13_7/pipeline_scheduling_simulator_for
C. Wallace, G. Tremblay, J. N. Amaral: An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol /jucs_7_11/an_abstract_state_machine