@inproceedings{dfaeebf84ecb4b9da8daa7f5296b6bdf,
title = "A formal semantics for a DataFlow Machine — Using VDM",
abstract = "This paper presents a formal description of a non-conventional machine architecture (The Manchester DataFlow Machine) in the denotational style, using an extension of the traditional VDM methods. The semantics is defined in terms of two fixed-point expressions over a relational domain. Some general and specific properties of such a semantics are presented.",
author = "Jones, {Kevin D.}",
note = "Publisher Copyright: {\textcopyright} 1987, Springer-Verlag.; VDM-Europe Symposium : Formal Method at Work, 1987 ; Conference date: 23-03-1987 Through 26-03-1987",
year = "1987",
doi = "10.1007/3-540-17654-3_19",
language = "English",
isbn = "9783540176541",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "331--355",
editor = "Neuhold, {Erich J.} and Dines Bjorner and {Mac an Airchinnigh}, Micheal and Jones, {Cliff B.}",
booktitle = "VDM 1987",
address = "Germany",
}