Toggle Main Menu Toggle Search

Open Access padlockePrints

Train Journeys in the Merlin-Randell Problem

Lookup NU author(s): Professor Maciej KoutnyORCiD



A synchronisation problem called the Merlin-Randell Problem of Train Journeys is investigated. A formal model of the problem is proposed and synchronisation strategies avoiding deadlocks and unsafe situations are defined. The COSY specification of synchronisation strategies is also included.

Publication metadata

Author(s): Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1985

Pages: 38

Report Number: 205

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne