An extensional treatment of lazy data flow deadlock

Matthews, S.G.

doi:10.1016/0304-3975(95)00051-W

Record: found
Abstract: not found
Article: not found

An extensional treatment of lazy data flow deadlock

Author(s): S.G. Matthews

Publication date Created: November 1995

Publication date (Print): November 1995

Journal: Theoretical Computer Science

Publisher: Elsevier BV

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 2

Record: found
Abstract: not found
Article: not found

An axiomatic basis for computer programming

C. Hoare (1969)

0 comments Cited 369 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

An extensional treatment of dataflow deadlock

William W. Wadge (1981)

0 comments Cited 7 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Theoretical Computer Science

Abbreviated Title: Theoretical Computer Science

Publisher: Elsevier BV

ISSN (Print): 03043975

Publication date Created: November 1995

Publication date (Print): November 1995

Volume: 151

Issue: 1

Pages: 195-205

Article

DOI: 10.1016/0304-3975(95)00051-W

SO-VID: dab8fe12-db50-4086-a31a-07d33d9e1e19

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

An extensional treatment of lazy data flow deadlock

Read this article at

Related collections

Taxonomic intelligence

Most cited references 2

An axiomatic basis for computer programming

An extensional treatment of dataflow deadlock

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 3,888

Cited by 12

Most referenced authors 3