ePrints

Train Journeys in the Merlin-Randell Problem

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

• Published version [.pdf]

Abstract

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

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/205.pdf

Share